Automated Reasoning with Analytic Tableaux and Related Methods

Preis

69,54 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Cialdea Mayer / Pirri
ISBN
9783540407874
Jahr
2003
Medium
Buch
Seitenzahl
x, 270 S.
Bindungsart
Softcover

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