• 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
Any d'edició
2027
Idioma
Anglès
Col·lecció
Lecture Notes in Computer Science
Alt
235
Ample
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
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres