Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Preis

213,95 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Bibel / Schmitt
ISBN
9780792351313
Jahr
1998
Medium
Buch
Seitenzahl
xii, 335 S.
Bindungsart
Hardcover

Für dieses Produkt wurde noch keine Rezension verfasst. Bewerten Sie dieses Produkt jetzt als Erster!