Kaufmann / Paulson | Interactive Theorem Proving | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 6172, 495 Seiten

Reihe: Lecture Notes in Computer Science

Kaufmann / Paulson Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-14052-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

E-Book, Englisch, Band 6172, 495 Seiten

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-14052-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Kaufmann / Paulson Interactive Theorem Proving jetzt bestellen!

Autoren/Hrsg.

Kaufmann, Matt
Paulson, Lawrence C.
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.