AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)

Name: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)
Brand: John Harrison
SKU: 3807011

Brand : Springer, Binding : Taschenbuch, Edition : 2000, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 546, publicationDate : 2008-06-13, authors : John Harrison, Mark Aagaard, ISBN : 3540678638

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)

Finde das Produkt,
das wirklich zu dir passt.