AKTUELLE PARTNERANGEBOTE

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science (3632), Band 3632)

Name: Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science (3632), Band 3632)
Brand: Robert Nieuwenhuis
SKU: 5980305

Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2008-10-10, publishers : Robert Nieuwenhuis, ISBN : 3540280057

2 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science (3632), Band 3632)

Finde das Produkt,
das wirklich zu dir passt.