An LMA-based theorem prover

Detalles Bibliográficos
Autores principales: Lusk, E L, Overbeek, R A
Lenguaje:eng
Publicado: 1982
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/142532

Internet

http://cds.cern.ch/record/142532

Ejemplares similares