Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.
 
 

Ergebnis der Suche nach: idn=95602582X



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/95602582X
Art des Inhalts Hochschulschrift
Titel Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik / Daniel Korn
Person(en) Korn, Daniel (Verfasser)
Verlag Sankt Augustin : Infix
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format XV, 213 S. ; 21 cm
Hochschulschrift Zugl.: Darmstadt, Techn. Univ., Diss., 1998
ISBN/Einband/Preis 978-3-89601-198-5 kart. : DM 60.00, sfr 54.50, S 438.00
3-89601-198-7 kart. : DM 60.00, sfr 54.50, S 438.00
Beziehungen Dissertationen zur künstlichen Intelligenz ; Bd. 198
Schlagwörter Automatisches Beweisverfahren ; Intuitionistische Logik
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1999 A 14784
Bereitstellung in Frankfurt
Leipzig Signatur: 1999 A 14784
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration