• 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
Editorial
SPRINGER
Año de edición
2027
Idioma
Inglés
Colección
Lecture Notes in Computer Science
Alto
235
Ancho
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
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres