Materias dentro de su búsqueda.
Mostrando 1 - 18 Resultados de 18 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
  1. 1
    5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980
    Publicado 1980
    Libro
  2. 2
    Automation of reasoning
    Publicado 1983
    Libro
  3. 3
    Automation of reasoning
    Publicado 1983
    Libro
  4. 4
    An agenda driven theorem prover
    por Bruell, Peter Leonard
    Publicado 1985
    Libro
  5. 5
    The little prover
    por Friedman, Daniel P.
    Publicado 2015
    Libro
  6. 6
    Using sophisticated models in resolution theorem proving
    por Sandford, David M.
    Publicado 1980
    Libro
  7. 7
    A computational logic
    por Boyer, Robert S.
    Publicado 1979
    Libro
  8. 8
    Symposium on Automatic Demonstration
    Publicado 1970
    Libro
  9. 9
    Automated reasoning : introduction and applications
    Publicado 1984
    Libro
  10. 10
    Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
    Publicado 1996
    Libro
  11. 11
    Automated theorem proving
    por Bibel, Wolfgang, 1938-
    Publicado 1982
    Libro
  12. 12
    Automated theorem proving : after 25 years
    Publicado 1985
    Libro
  13. 13
    A computational logic handbook
    por Boyer, Robert S.
    Publicado 1988
    Libro
  14. 14
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
    Publicado 1994
    Libro
  15. 15
    Mechanical geometry theorem proving
    por Chou, Shang-Ching, 1942-
    Publicado 1988
    Libro
  16. 16
    Knowledge based theorem proving and learning
    por Cohen, Donald N.
    Publicado 1981
    Libro
  17. 17
    Proof in VDM : a practitioner's guide
    Publicado 1994
    Libro
  18. 18
    Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
    Publicado 1992
    Libro

Herramientas de búsqueda: