58 results Refine Results
  1. 1
    Published 1980
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  2. 2
    Published 1984
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  3. 3
    Published 1982
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  4. 4
    by Sandford, David M.
    Published 1980
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Using sophisticated models in resolution theorem proving /
  5. 5
    Published 1988
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
  6. 6
    by Snyers, D.
    Published 1987
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    From logic design to logic programming : theorem proving techniques and P-functions /
  7. 7
    by Zwiers, J. (Job), 1956-
    Published 1989
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /
  8. 8
    Published 1986
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
  9. 9
    Published 1993
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27 1993 : proceedings /
  10. 10
    Published 1993
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers /
  11. 11
    Published 1994
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
  12. 12
    Published 1994
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /
  13. 13
    by Paulson, Lawrence C.
    Published 1994
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Isabelle : a generic theorem prover /
  14. 14
    Published 1993
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Functional programming, concurrency, simulation and automated reasoning : international lecture series, 1991-1992, McMaster University, Hamilton, Ontario, Canada /
  15. 15
    Published 1996
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers /
  16. 16
    Published 1996
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /
  17. 17
    by Sudan, Madhu
    Published 1995
    “...Lecture notes in computer science ;...”
    Thesis Book
    Save to List
    Saved in:
    Efficient checking of polynomials and proofs and the hardness of approximation problems /
  18. 18
    Published 2004
    “...Lecture notes in computer science ;...”
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
  19. 19
    Published 2004
    “...Lecture notes in computer science ;...”
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
  20. 20
    Published 1998
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Lectures on proof verification and approximation algorithms /

Search Tools: