1.

図書
図書
1. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Hoon Hong, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3763 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings
Jim Grundy, Malcolm Newey (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1479
所蔵情報: loading…
4.

図書
図書
4. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Sergei Adian, Anil Nerode, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1234
所蔵情報: loading…
6.

図書
図書
6. Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (: pbk)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
7.

図書
図書
7. Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings
Magnus Boman, Walter Van de Velde (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1237 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…
9.

図書
図書
9. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings
Christine Froidevaux, Jürg Kohlas (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 946 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Yves Bertot ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1690
所蔵情報: loading…
11.

図書
図書
11. Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. 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.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers
Dongming Wang (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1360 . Lecture notes in artificial intelligence
所蔵情報: loading…
15.

図書
図書
15. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Gilles Dowek ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1074
所蔵情報: loading…
16.

図書
図書
16. Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: loading…
17.

図書
図書
17. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
David McAllester (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence
所蔵情報: loading…
18.

図書
図書
18. Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
Manuel Ojeda-Aciego ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1919 . Lecture notes in artificial intelligence
所蔵情報: loading…
19.

図書
図書
19. Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
William McCune (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書
図書
20. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
21.

図書
図書
21. Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2731
所蔵情報: loading…
22.

図書
図書
22. Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Franz Baader (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2741 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書
図書
23. Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
Jacques Calmet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2385 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Andrei Voronkov (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2392 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書
図書
25. Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
26.

図書
図書
26. Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
John A. Campbell, Eugenio Roanes-Lozano (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書
図書
27. 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.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2183
所蔵情報: loading…
28.

図書
図書
28. Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Jürgen Richter-Gebert, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2061 . Lecture notes in artificial intelligence
所蔵情報: loading…
29.

図書
図書
29. Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
edited by Hugues Leblanc
出版情報: Amsterdam : North-Holland, 1973
シリーズ名: Studies in logic and the foundations of mathematics ; v. 68
所蔵情報: loading…
30.

図書
図書
30. Selections from the Third Groningen Round Table
edited by Frank Heny, Helmut S. Schnelle
出版情報: New York : Academic Press, c1979
シリーズ名: Syntax and semantics / edited by John P. Kimball ; v. 10
所蔵情報: loading…
31.

図書
図書
31. Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
edited by R.O. Gandy, J.M.E. Hyland
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977
シリーズ名: Studies in logic and the foundations of mathematics ; v. 87
所蔵情報: loading…
32.

図書
図書
32. Mathematical logic and its applications
edited by Dimiter G. Skordev
出版情報: New York : Plenum Press, c1987
所蔵情報: loading…
33.

図書
図書
33. Natural language understanding and logic programming
出版情報: Amsterdam ; Tokyo : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985-
所蔵情報: loading…
34.

図書
図書
34. Gödel remembered : Salzburg 10-12 July 1983
R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold Schmetterer
出版情報: Napoli : Bibliopolis, c1987
シリーズ名: History of logic ; 4
所蔵情報: loading…
35.

図書
図書
35. Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
edited by Veronica Dahl and Patrick Saint-Dizier
出版情報: Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
シリーズ名: Natural language understanding and logic programming ; [1]
所蔵情報: loading…
36.

図書
図書
36. Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
出版情報: Amsterdam ; Tokyo : North-Holland, 1986
シリーズ名: Studies in logic and the foundations of mathematics ; v. 120
所蔵情報: loading…
37.

図書
図書
37. Logic, methodology and philosophy of science : proceedings of the 1960 International Congress
edited by Ernest Nagel, Patrick Suppes, Alfred Tarski
出版情報: Stanford : Stanford University Press, 1962
所蔵情報: loading…
38.

図書
図書
38. Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
Daniel Leivant (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 960
所蔵情報: loading…
39.

図書
図書
39. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation
Stephen G. Simpson, editor
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: Contemporary mathematics ; v. 65
所蔵情報: loading…
40.

図書
図書
40. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Walter A. Carnielli and Luiz Paulo de Alcantara, editors
出版情報: Providence, R.I. : American Mathematical Society, c1988
シリーズ名: Contemporary mathematics ; v. 69
所蔵情報: loading…
41.

図書
図書
41. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
出版情報: Providence, R.I. : American Mathematical Society, c1999
シリーズ名: Contemporary mathematics ; v. 235
所蔵情報: loading…
42.

図書
図書
42. Mathematical logic : proceedings of the first Brazilian Conference
edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui
出版情報: New York : M. Dekker, c1978
シリーズ名: Lecture notes in pure and applied mathematics ; v. 39
所蔵情報: loading…
43.

図書
図書
43. Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
edited by Xavier Caicedo, Carlos H. Montenegro
出版情報: New York : Marcel Dekker, c1999
シリーズ名: Lecture notes in pure and applied mathematics ; v. 203
所蔵情報: loading…
44.

図書
図書
44. Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2008
所蔵情報: loading…
45.

図書
図書
45. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…
46.

図書
図書
46. Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings
Petr Hájek (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in logic ; 6
所蔵情報: loading…
47.

図書
図書
47. Advances in linear logic (: pbk)
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
出版情報: Cambridge : Cambridge University Press, 1995
シリーズ名: London Mathematical Society lecture note series ; 222
所蔵情報: loading…
48.

図書
図書
48. Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings
Frank Pfenning (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4603 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書
図書
49. Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
Renate A. Schmidt (ed.)
出版情報: Berlin ; New York : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5663 . Lecture notes in artificial intelligence
所蔵情報: loading…
50.

図書
図書
50. Contributions to non-standard analysis
edited by W. A. J. Luxemburg and A. Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1972
シリーズ名: Studies in logic and the foundations of mathematics ; v. 69
所蔵情報: loading…