
AKTUELLE PARTNERANGEBOTE
Automated Theorem Proving
Brand : Vieweg+Teubner Verlag, Binding : Taschenbuch, Edition : 1982, Label : Vieweg+Teubner Verlag, Publisher : Vieweg+Teubner Verlag, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 312, publicationDate : 1982-01-01, authors : Wolfgang Bibel, ISBN : 3528085207
2 Angebote · ab 54,99 € gemeldete Gesamtkosten
