First-order logic and automated theorem proving

Detalles Bibliográficos
Autores principales: Gries, David, Fitting, Melvin
Lenguaje:eng
Publicado: Springer 1990
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2695470

Internet

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

Ejemplares similares