Lecture Notes in Computer Science: Interactive Theorem Proving

Lecture Notes in Computer Science: Interactive Theorem Proving (eBook / PDF)

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "Lecture Notes in Computer Science: Interactive Theorem Proving".

Kommentar verfassen
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited...

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


eBook71.39 €

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 100002393

Verschenken
Auf meinen Merkzettel

Das könnte Ihnen auch gefallen

Kommentare zu "Lecture Notes in Computer Science: Interactive Theorem Proving"

Ähnliche Artikel finden

0 Gebrauchte Artikel zu „Lecture Notes in Computer Science: Interactive Theorem Proving“

ZustandPreisPortoZahlungVerkäuferRating