International Symposium on Automatic Demonstration

Detalles Bibliográficos
Autores principales: Lacombe, D, Laudet, M, Nolin, Louis, Schützenberger, M
Lenguaje:eng
Publicado: Springer 1970
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.1007/BFb0060620
http://cds.cern.ch/record/109717
Descripción
Descripción no disponible.

Ejemplares similares