Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Zugl.: Darmstadt, Techn. Univ., Diss., 1998

Bibliographische Detailangaben

1. Verfasser:	Korn, Daniel (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Sankt Augustin Infix 1999
Schriftenreihe:	Dissertationen zur künstlichen Intelligenz 198
Schlagworte:	Hochschulschrift > Automatisches Beweisverfahren > Intuitionistische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!