• Libros
  • Superposition for Higher-Order Logic
Superposition for Higher-Order Logic
BENTKAMP, ALEXANDER
Superposition for Higher-Order Logic
Superposition for Higher-Order Logic BENTKAMP, ALEXANDER
EAN
9783032016690
Éditorial
SPRINGER
Année d'édition
2027
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
114,39 €
-5%
108,67 €
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres