1.

図書
図書
1. Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995
シリーズ名: Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

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

図書
図書
3. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
P. Miglioli ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

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

図書
図書
5. Artificial intelligence III : methodology, systems, applications : proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '88), Varna, Bulgaria, 20-23 September, 1988
edited by T. O'Shea and V. Sgurev
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Col., 1988
所蔵情報: loading…
6.

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

図書
図書
7. Transcendental arguments and science : essays in epistemology (: pbk)
edited by Peter Bieri, Rolf-P. Horstmann, and Lorenz Krüger
出版情報: Dordrecht, Holland ; Boston : D. Reidel, c1979
シリーズ名: Synthese library ; v. 133
所蔵情報: loading…