AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479, Band 1479)

Name: Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479, Band 1479)
Brand: Jim Grundy
SKU: 4401127

Brand : Springer, Binding : Taschenbuch, Edition : 1998, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 514, publicationDate : 2008-06-13, authors : Jim Grundy, Malcolm Newey, ISBN : 3540649875

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479, Band 1479)

Finde das Produkt,
das wirklich zu dir passt.