The automated reasoning system ITP

Detalles Bibliográficos
Autores principales: Lusk, E L, Overbeek, R A
Lenguaje:eng
Publicado: Argonne Nat. Lab. 1984
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/152477
Descripción
Descripción no disponible.

Ejemplares similares