• Libros
  • Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
VV.AA.
Anglais
EAN
9783540710653
Éditorial
SPRINGER
Année d'édition
2008
langage
Anglais
Collection
Lecture Notes in Computer Science
Haute
235
Largeur
155
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
51,99 €
-5%
49,39 €
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres