• Libros
  • 7th International Conference on Automated Deduction
7th International Conference on Automated Deduction
VV.AA.
Inglés
EAN
9780387960227
Editorial
Año de edición
1984
Idioma
Inglés
Colección
Lecture Notes in Computer Science
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres