Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 84745 von 85256 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/920933866
Art des Inhalts Hochschulschrift
Titel Wissensbasierte Verfahren zur Synthese mathematischer Beweise : eine kombinatorische Anwendung / von Jutta Eusterbrock
Person(en) Eusterbrock, Jutta (Verfasser)
Verlag Sankt Augustin : Infix
Zeitliche Einordnung Erscheinungsdatum: 1992
Umfang/Format 276 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Stuttgart, Univ., Diss., 1992
ISBN/Einband/Preis 978-3-929037-10-4 kart. : DM 48.00
3-929037-10-6 kart. : DM 48.00
Sprache(n) Deutsch (ger)
Beziehungen Dissertationen zur künstlichen Intelligenz ; 10
Anmerkungen Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 92/41974
Bereitstellung in Frankfurt
Leipzig Signatur: SA 38007-10
Bereitstellung in Leipzig




Treffer 84745 von 85256
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration