Symposium on automatic demostration /

Symposium on automatic demostration /

Detalles Bibliográficos
Autor principal: Laudet, M. (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.
Descripción
Notas:En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 125.
Descripción Física:310 páginas

Ejemplares similares