Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: idn=959115471



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/959115471
Art des Inhalts Hochschulschrift
Titel Effiziente Entscheidungsverfahren zur E-Unifikation / Jörn Richts
Person(en) Richts, Jörn (Verfasser)
Ausgabe Als Ms. gedr.
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 2000
Umfang/Format II, 164 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Aachen, Techn. Hochsch., Diss., 2000
ISBN/Einband/Preis 978-3-8265-7335-4 kart. : DM 94.00, sfr 94.00, S 659.00
3-8265-7335-8 kart. : DM 94.00, sfr 94.00, S 659.00
Beziehungen Berichte aus der Informatik
Schlagwörter Automatisches Beweisverfahren ; Deduktionssystem ; Unifikationstheorie ; Gleichungstheorie ; Constraint <Künstliche Intelligenz>
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik

Frankfurt Signatur: 2000 A 45896
Bereitstellung in Frankfurt
Leipzig Signatur: 2000 A 45896
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration