Symposium on Automatic Demonstration

Detalles Bibliográficos
Autor Corporativo: Symposium on Automatic Demonstration (-)
Otros Autores: Laudet, Michel (-)
Formato: Libro
Idioma:Inglés
Publicado: Berlin [etc.] : Springer 1970.
Colección:Lecture Notes in Mathematics ; 125
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991003225849703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:English or French.
Descripción Física:310 p. ; 26 cm
Bibliografía:Bibliografía