Theorem Proving in Higher Order Logics

Preis

93,08 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Hurd / Melham
ISBN
9783540283720
Jahr
2005
Medium
Buch
Seitenzahl
x, 414 S.
Bindungsart
Softcover

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