20 results Refine Results
  1. 1
    Published 1980
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  2. 2
    Published 1984
    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
    Conference Proceeding Book
    Save to List
    Saved in:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  4. 4
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
  5. 5
    Published 1993
    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 /
  6. 6
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming and automated reasoning : proceedings /
  7. 7
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
  8. 8
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /
  9. 9
    Published 1996
    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 /
  10. 10
    Published 1996
    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 /
  11. 11
    Published 2004
    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 /
  12. 12
    Published 2004
    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 /
  13. 13
    Published 2003
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
  14. 14
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers /
  15. 15
    Published 1997
    Conference Proceeding Book
    Save to List
    Saved in:
    Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /
  16. 16
    Published 2000
    Conference Proceeding Book
    Save to List
    Saved in:
    Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, Or., August 14-18, 2000 : proceedings /
  17. 17
    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
    Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
  18. 18
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers /
  19. 19
    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
    Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27-October 1 1998 : proceedings /
  20. 20
    Published 1999
    Conference Proceeding Book
    Save to List
    Saved in:
    Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /

Search Tools: