close
1.

図書
図書
1. Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, proceedings (: pbk.)
Karell Bertet ... [et al.] (eds.)
出版情報: Cham : Springer, c2017
シリーズ名: Lecture notes in computer science ; 10308. Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Salem Benferhat, Philippe Besnard (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2143 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '99, London, UK, July 5-9, 1999 : proceedings
Anthony Hunter, Simon Parsons (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1638 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. 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…
9.

図書
図書
9. 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…
10.

図書
図書
10. 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…
11.

図書
図書
11. Grammatical inference : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12-14, 1998 : proceedings
Vasant Honavar, Giora Slutzki (eds.)
出版情報: Berlin ; London : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1433 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. 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…
13.

図書
図書
13. 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…
14.

図書
図書
14. Combinatorics, complexity, & logic : proceedings of DMTCS '96
D.S. Bridges ... [et al.] (editors)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Springer series in discrete mathematics and theoretical computer science
所蔵情報: loading…
15.

図書
図書
15. 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…
16.

図書
図書
16. 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…
17.

図書
図書
17. 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…
18.

図書
図書
18. Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings
Jan Komorowski, Jan Zytkow (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1263 . Lecture notes in artificial intelligence
所蔵情報: loading…
19.

図書
図書
19. 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…
20.

図書
図書
20. 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…
21.

図書
図書
21. 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…
22.

図書
図書
22. 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…
23.

図書
図書
23. 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…
24.

図書
図書
24. 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…
25.

図書
図書
25. Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers (: gw ; : us)
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 933
所蔵情報: loading…
26.

図書
図書
26. 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…
27.

図書
図書
27. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (: us ; : gw)
Alan Bundy (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence
所蔵情報: loading…
28.

図書
図書
28. Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings (: us ; : gw)
A. Nerode, Yu. V. Matiyasevich (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 813
所蔵情報: loading…
29.

図書
図書
29. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us)
Jan Heering ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 816
所蔵情報: loading…
30.

図書
図書
30. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…
31.

図書
図書
31. Grammatical inference and applications : second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings (: gw)
Rafael C. Carrasco, Jose Oncina, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 862 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings (: us ; : gw)
Jacques Calmet, John A. Campbell (eds.)
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 737
所蔵情報: loading…
33.

図書
図書
33. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings (: gw ; : us)
Michael Clarke, Rudolf Kruse, Serafín Moral (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 747
所蔵情報: loading…
34.

図書
図書
34. Logic Colloquium '90 (: gw ; : us)
J. Oikkonen, J. Väänänen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in logic ; 2
所蔵情報: loading…
35.

図書
図書
35. Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: loading…
36.

図書
図書
36. Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 702
所蔵情報: loading…
37.

図書
図書
37. Finite and infinite combinatorics in sets and logic : [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991]
edited by N.W. Sauer, R.E. Woodrow, and B. Sands
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1993
シリーズ名: NATO ASI series ; series C . Mathematical and physical sciences ; v. 411
所蔵情報: loading…
38.

図書
図書
38. 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
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
出版情報: Amsterdam ; New York : North-Holland, 1993
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: loading…
39.

図書
図書
39. Logic from computer science : proceedings of a workshop held November 13-17, 1989 (: us ; : gw)
Y.N. Moschovakis, editor
出版情報: New York ; Berlin : Springer-Verlag, c1992
シリーズ名: Mathematical Sciences Research Institute publications ; 21
所蔵情報: loading…
40.

図書
図書
40. Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings (: gw ; : us)
D. Kapur (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence
所蔵情報: loading…
41.

図書
図書
41. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings (: gw ; : us)
A. Nerode, M. Taitslin (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 620
所蔵情報: loading…
42.

図書
図書
42. Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings (: gw ; : us)
D. Pearce, H. Wansing (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 619 . Lecture notes in artificial intelligence
所蔵情報: loading…
43.

図書
図書
43. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 626
所蔵情報: loading…
44.

図書
図書
44. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: loading…
45.

図書
図書
45. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings (: gw ; : us)
A. Fuhrmann, M. Morreau, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence
所蔵情報: loading…
46.

図書
図書
46. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us)
J. van Eijck (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書
図書
47. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings (: gw ; : us)
P. Martin-Löf, G. Mints (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 417
所蔵情報: loading…
48.

図書
図書
48. Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California
edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research
出版情報: San Mateo, Calif. : Morgan Kaufmann, c1990
シリーズ名: The Morgan Kaufmann series in representation and reasoning
所蔵情報: loading…
49.

図書
図書
49. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: loading…
50.

図書
図書
50. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings (: gw ; : us)
K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence
所蔵情報: loading…