• 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
Ano de edição
2027
Idioma
Inglês
Coleção
Lecture Notes in Computer Science
Alto
235
Largura
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-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres