AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758, Band 2758)

Name: Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758, Band 2758)
Brand: Burkhart Wolff
SKU: 8949679

Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2008-06-13, authors : Burkhart Wolff, David Basin, ISBN : 3540406646

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758, Band 2758)