AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223)

Name: Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223)
Brand: Gopalakrishnan, Ganesh C.
SKU: 6098896

Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 348, publicationDate : 2008-06-13, authors : Gopalakrishnan, Ganesh C., Annette Bunker, Konrad Slind, ISBN : 3540230173

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223)

Finde das Produkt,
das wirklich zu dir passt.