選択資料から書架並びで前後20冊ずつを表示します。
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
書庫2階
First-order logic and automated theorem proving / Melvin Fitting
: us
書庫2階
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
書庫2階
Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)
書庫2階
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
書庫2階
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
書庫2階
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
書庫2階
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
書庫2階
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
書庫2階
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.)
gw
書庫2階
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
書庫2階
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)
書庫2階
Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)
書庫2階
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
書庫2階
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.)
書庫2階
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
書庫2階
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)
書庫2階
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
書庫2階