Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 151 von 734 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1025092368
Art des Inhalts Hochschulschrift
Titel Assertion level proof planning with compiled strategies / Dominik Dietrich
Person(en) Dietrich, Dominik (Verfasser)
Ausgabe New Ed.
Verlag Göttingen : Optimus-Verl.
Zeitliche Einordnung Erscheinungsdatum: 2012
Umfang/Format XX, 341 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Saarbrücken, Univ., Diss., 2011
ISBN/Einband/Preis 978-3-86376-019-9 kart. : EUR 39.90 (DE), EUR 44.90 (AT), sfr 53.30 (freier Pr.)
EAN 9783863760199
Sprache(n) Englisch (eng)
Schlagwörter Beweistheorie ; Automatisches Beweisverfahren
DDC-Notation 511.36 [DDC22ger]
Sachgruppe(n) 510 Mathematik ; 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2013 A 54439
Bereitstellung in Frankfurt
Leipzig Signatur: 2012 A 78553
Bereitstellung in Leipzig




Treffer 151 von 734
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration