Resultats de la cerca - "Automatic theorem proving."

  1. 1
    Imatge de la portada

    Automated theorem proving : a logical basis / Donald W. Loveland.

    Publicat 1978
    Llibre

    Afegir a favorits
    Guardat en:
  2. 2
    Imatge de la portada

    Instantiation theory : on the foundations of automated deduction / J.G. Williams.

    Publicat ©1991
    Llibre

    Afegir a favorits
    Guardat en:
  3. 3
    Imatge de la portada

    Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.

    Publicat ©1997
    Llibre

    Afegir a favorits
    Guardat en:
  4. 4
    Imatge de la portada

    Deduction systems / Rolf Socher-Ambrosius, Patricia Johann.

    Publicat ©1997
    Llibre

    Afegir a favorits
    Guardat en:
  5. 5
    Imatge de la portada

    Automated theorem proving / Wolfgang Bibel.

    Publicat 1987
    Llibre

    Afegir a favorits
    Guardat en:
  6. 6
    Imatge de la portada

    Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung / Birgit Heinz.

    Publicat 1996
    Llibre

    Afegir a favorits
    Guardat en:
  7. 7
    Imatge de la portada

    Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim ; [translated from the German by Randall Pruim].

    Publicat ©1998
    Llibre

    Afegir a favorits
    Guardat en:
  8. 8
    Imatge de la portada

    Higher order logic theorem proving and its applications : 7th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Jo...

    Publicat ©1994
    Llibre

    Afegir a favorits
    Guardat en:
  9. 9
    Imatge de la portada

    Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert St...

    Publicat ©2001
    Llibre

    Afegir a favorits
    Guardat en:
  10. 10
    Imatge de la portada

    Automated theorem proving : theory and practice / Monty Newborn.

    Publicat ©2001
    Llibre

    Afegir a favorits
    Guardat en:
  11. 11
    Imatge de la portada

    Using sophisticated models in resolution theorem proving / David M. Sandford.

    Publicat 1980
    Llibre

    Afegir a favorits
    Guardat en:
  12. 12
    Imatge de la portada

    Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.

    Publicat ©1994
    Llibre

    Afegir a favorits
    Guardat en:
  13. 13
    Imatge de la portada

    Mathematics mechanization and applications / edited by Xiao-Shan Gao and Dongming Wang.

    Publicat ©2000
    Llibre

    Afegir a favorits
    Guardat en:
  14. 14
    Imatge de la portada

    Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.

    Publicat ©1994
    Llibre

    Afegir a favorits
    Guardat en:
  15. 15
    Imatge de la portada

    The resolution calculus / Alexander Leitsch.

    Publicat ©1997
    Llibre

    Afegir a favorits
    Guardat en:
  16. 16
    Imatge de la portada

    STeP, the Stanford Temporal Prover / by Zohar Manna ... [et al.].

    Publicat 1994
    Llibre

    Afegir a favorits
    Guardat en:
  17. 17
    Imatge de la portada

    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / A. Voronkov, ed.

    Publicat ©1993
    Llibre

    Afegir a favorits
    Guardat en:
  18. 18
    Imatge de la portada

    Symposium on Automatic Demonstration; edited by M. Laudet [and others].

    Publicat 1970
    Llibre

    Afegir a favorits
    Guardat en:
  19. 19
    Imatge de la portada

    Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.

    Publicat ©2002
    Llibre

    Afegir a favorits
    Guardat en:
  20. 20
    Imatge de la portada

    Mechanical geometry theorem proving / Shang-Ching Chou.

    Publicat 1988
    Llibre

    Afegir a favorits
    Guardat en:

Eines de cerca: