Theorem proving with first-order predicate logic, 3

Detalles Bibliográficos
Autor principal: Humpert, Benedikt
Lenguaje:eng
Publicado: 1987
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/190766
Descripción
Descripción no disponible.

Ejemplares similares