30 treff

automatic theorem proving congresses
Symposium on Automatic Demonstration : held at Versailles/France, December 1968
Symposium on Automatic Demonstration
Bok Engelsk 1970 · Vis mer
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
International Workshop on Automated Deduction in Geometry
Bok Engelsk 1997 · Vis mer
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
International Conference on Formal and Applied Practical Reasoning
Bok Engelsk 1996 · Vis mer
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1998 · Vis mer
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
International Workshop on Larch
Bok Engelsk 1993 · Vis mer
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
TABLEAUX '95
Bok Engelsk 1995 · Vis mer
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1990 · Vis mer
Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1996 · Vis mer
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
TPHOLs '98
Bok Engelsk 1998 · Vis mer
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1994 · Vis mer
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
TPHOLs '97
Bok Engelsk 1997 · Vis mer
Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
TPHOLs '96
Bok Engelsk 1996 · Vis mer
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Bok Engelsk 1995 · Vis mer
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993 · Vis mer
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
International Conference on Automated Deduction
Bok Engelsk · Vis mer
Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1992 · Vis mer
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Thomas F. Melham, Juanito Camilleri (eds....
Bok Engelsk 1994 · Vis mer
Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
HUG '93
Bok Engelsk 1994 · Vis mer
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures
COMPOS'97
Bok Engelsk 1998 · Vis mer
Theorem provers in circuit design : theory, practice and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
TPCD '94
Bok Engelsk 1995 · Vis mer
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
FMCAD '98
Bok Engelsk 1998 · Vis mer
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience
Bok Engelsk 1992 · Vis mer
Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13-16 July 1992
IFIP TC12/WG12.3 International Workshop on Automated Reasoning
Bok Engelsk 1992 · Vis mer
VLSI 91 : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991
IFIP TC 10/WG 10.5 International Conference on Very LargeScale Integration
Bok Engelsk 1992 · Vis mer
Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
TYPES '95
Bok Engelsk 1996 · Vis mer
Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
TYPES '93
Bok Engelsk 1994 · Vis mer
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
LPAR '92
Bok Engelsk 1992 · Vis mer
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
Kurt Gödel Colloquium
Bok Engelsk 1993 · Vis mer
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
J. W. Lloyd (ed.)
Bok Engelsk 1990 · Vis mer
Geometric reasoning
edited by Deepak Kapur and Joseph L. Mund...
Bok Språk ikke angitt 1989 · Vis mer