選択資料から書架並びで前後20冊ずつを表示します。
Instantiation theory : on the foundations of automated deduction / J.G. Williams
書庫2階
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʾ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
書庫2階
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright ... [et al.] (eds.)
書庫2階
Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty (eds.)
書庫2階
Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey (eds.)
書庫2階
Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / Yves Bertot ... [et al.] (eds.)
書庫2階
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.)
書庫2階
Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Boulton, Richard J., Paul B. Jackson (eds.)
書庫2階
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
: gw
書庫2階
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
: gw
書庫2階
Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.)
書庫2階
Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
書庫2階
Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
書庫2階
Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
書庫2階
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)
書庫2階
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
書庫2階
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings / Didier Bert (ed.)
書庫2階
DCE-- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings / Alexander Schill, (ed.)
書庫2階
Integrated research in GRID computing : CoreGRID Integration Workshop 2005 (selected papers), November 28-30, Pisa, Italy / edited by Sergei Gorlatch, Marco Danelutto
書庫2階
Grid computing - GRID 2000 : first IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings / Rajkumar Buyya, Mark Baker (eds.)
書庫2階