Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=970323301



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/970323301
Art des Inhalts Hochschulschrift
Titel Hierarchical contextual reasoning / Serge Autexier
Person(en) Autexier, Serge (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2003
Umfang/Format XIII, 229 S. : graph. Darst. ; 21 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Hierarchical contextual reasoning
Hochschulschrift Saarbrücken, Univ., Diss., 2003
Sprache(n) Englisch (eng)
Schlagwörter Automatisches Beweisverfahren
Sachgruppe(n) 004 Informatik

Frankfurt Signatur: 2005 A 68009
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2004 A 2851
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration