Automated Deduction - CADE-16

Preis

93,08 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Ganzinger
ISBN
9783540662228
Jahr
1999
Medium
Buch
Seitenzahl
xiv, 438 S.
Bindungsart
Softcover

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