• Libros
  • 10th International Conference on Automated Deduction
10th International Conference on Automated Deduction
VV.AA.
Inglês
EAN
9783540528852
Editorial
Ano de edição
1990
Idioma
Inglês
Coleção
Lecture Notes in Computer Science
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres