AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)

Name: Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
Brand: Carreño, Victor A.
SKU: 4578696

Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2009-02-22, publishers : Carreño, Victor A., ISBN : 3540440399

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)

Finde das Produkt,
das wirklich zu dir passt.