AKTUELLE PARTNERANGEBOTE

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)

Name: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)
Brand: Joyce, Jeffrey J.
SKU: 3798109

Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2008-06-13, authors : Joyce, Jeffrey J., Seger, Carl-Johan H., ISBN : 3540578269

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)

Finde das Produkt,
das wirklich zu dir passt.