AKTUELLE PARTNERANGEBOTE

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)

Name: Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)
Brand: Boulton, Richard J.
SKU: 4155951

Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 410, publicationDate : 2008-06-13, authors : Boulton, Richard J., Jackson, Paul B., ISBN : 354042525X

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)

Finde das Produkt,
das wirklich zu dir passt.