Theorem Proving in Higher Order Logics

Preis

106,99 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Berghofer / Nipkow / Urban / Wenzel
ISBN
9783642033582
Jahr
2009
Medium
Buch
Seitenzahl
xi, 517 S.
Bindungsart
Softcover

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