Ergebnisse filtern
-
- 2
- 1
-
- 2
- 1
-
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 2
-
- 3
-
- 3
-
- 3
-
- 3
-
- 3
-
Beringer / Felty Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32346-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beringer / Felty Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-32347-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gunter / Felty Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort