close
1.

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

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

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

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

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

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

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

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

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

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