5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Published 1980

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

Published 1984

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

Published 1982

Using sophisticated models in resolution theorem proving /

by Sandford, David M.
Published 1980

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Published 1988

From logic design to logic programming : theorem proving techniques and P-functions /

by Snyers, D.
Published 1987

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /

by Zwiers, J. (Job), 1956-
Published 1989

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /

Published 1986

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /

Published 1992

Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27 1993 : proceedings /

Published 1993

Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers /

Published 1993

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /

Published 1994

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Published 1994

Isabelle : a generic theorem prover /

by Paulson, Lawrence C.
Published 1994

Logic programming and automated reasoning : proceedings /

Published 1992

Functional programming, concurrency, simulation and automated reasoning : international lecture series, 1991-1992, McMaster University, Hamilton, Ontario, Canada /

Published 1993

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /

Published 1993

Instantiation theory : on the foundations of automated deduction /

by Williams, James G.
Published 1991

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Published 1990

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers /

Published 1996