Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig
Quelle
buchhandel.de

Lennart Beringer, Amy Felty und ITP (3, 2012, Princeton, NJ)

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Titel

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beteiligt

Lennart Beringer (Herausgeber)
Amy Felty (Herausgeber)
ITP (3, 2012, Princeton, NJ) (Herausgebendes Organ)

Erschienen

Berlin, Heidelberg: Springer Berlin Heidelberg
2012

Umfang

Online-Ressource

ISBN

978-3-642-32347-8

Land

Deutschland

Themen­gebiet

Informatik
Mathematik

Thema

Automatisches Beweisverfahren, Kongress, Princeton, NJ <2012>
HOL, Kongress, Princeton, NJ <2012>

DDC-Notation

004.015113

Reihe

Lecture Notes in Computer Science

Andere Ausgaben

Erscheint auch als Druck-Ausgabe: Interactive theorem proving : third international conference ; proceedings

Persistent Identifier

urn:nbn:de:1111-20120811442 (URN)
10.1007/978-3-642-32347-8 (DOI)

Weitere Angaben

Lizenzpflichtig

Datensatz-ID

1025035143
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal