Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=946060096



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/946060096
Art des Inhalts Hochschulschrift
Titel Lazy generation of induction hypotheses and patching faulty conjectures / Martin Protzen
Person(en) Protzen, Martin (Verfasser)
Verlag Sankt Augustin : Infix
Zeitliche Einordnung Erscheinungsdatum: 1995
Umfang/Format 89 S. ; 21 cm
Hochschulschrift Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995
ISBN/Einband/Preis 978-3-89601-098-8 kart. : DM 48.00, sfr 48.00, S 380.00
3-89601-098-0 kart. : DM 48.00, sfr 48.00, S 380.00
Beziehungen Dissertationen zur künstlichen Intelligenz ; Bd. 98
Schlagwörter Induktionsbeweis ; Automatisches Beweisverfahren
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik

Frankfurt Signatur: 1996 A 1769
Bereitstellung in Frankfurt
Leipzig Signatur: 1996 A 1769
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration