Symposium on automatic demostration /

Detalles Bibliográficos
Autor principal: Laudet, M. (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.

Ejemplares similares