Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
Neuigkeiten Ihre Meinung ist gefragt! Wir möchten gerne von Ihnen erfahren, was Ihnen in der Deutschen Nationalbibliothek gut gefällt und was wir noch verbessern können. Teilnehmen können Sie im Zeitraum vom 2. November bis 14. Dezember 2020 über unsere Homepage – einfach auf das Logo klicken!
 
 

Ergebnis der Suche nach: idn=1003248020



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/1003248020
Art des Inhalts Hochschulschrift
Titel An approach to the extension of a theorem prover by advanced structuring mechanisms / Maksym Bortin
Person(en) Bortin, Maksym (Verfasser)
Verlag Berlin : Logos-Verl.
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format 229 S. : graph. Darst. ; 24 cm
Hochschulschrift Zugl.: Bremen, Univ., Diss., 2010
ISBN/Einband/Preis 978-3-8325-2502-6 kart. : EUR 40.00 (DE), EUR 41.10 (AT), sfr 71.20 (freier Pr.)
EAN 9783832525026
Sprache(n) Englisch (eng)
Schlagwörter HOL ; Isabelle <Programm>
DDC-Notation 004.0151 [DDC22ger]; 005.131 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2010 A 56926
Bereitstellung in Frankfurt
Leipzig Signatur: 2010 A 78518
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration