1
- Joe Hurd - -
53.49 €
Joe Hurd - Theorem Proving In Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings (lecture Notes In Computer Science, 3603, Band 3603)
MEDIMOPS
Brand: Joe Hurd -
EAN:
9783540283720MPN: m03540283722
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 424, publicationDate : 2008-06-13, releaseDate : 2005-10-16, authors : Joe Hurd, Tom Melham, ISBN : 3540283722
Preise vergleichen ab:
Joe Hurd - in Bücher & Zeitschriften