Automated Deduction in Classical and Non-Classical Logics

Preis

74,89 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Caferra / Salzer
ISBN
9783540671909
Jahr
2000
Medium
Buch
Seitenzahl
viii, 304 S.
Bindungsart
Softcover

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