Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

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

形態:

xv, 719 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence <BA00009279>

著者名:

ISBN:

9783540613138 [3540613137]

書誌ID:

BA27697886

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

主題:	Artificial intelligence--Congresses; Automatic theorem proving--Congresses; Reasoning--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us) International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag	7 図書 Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94), Bonn, Germany, May 24-27, 1994 International Conference on Principles of Knowledge Representation and Reasoning, Doyle, Jon, Sandewall, Erik, Torasso, … Morgan Kaufmann Publishers
2 図書 GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings (: gw ; : us) German Workshop on Artificial Intelligence, Ohlbach, Hans Jürgen Springer	8 電子ブック Temporal Logic Gabbay, Gabbay, Dov M., Ohlbach, Hans Jürgen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, … International Joint Conference on Qualitative and Quantitative Practical Reasoning, Gabbay, Dov M., 1945- Springer	9 図書 Principles of knowledge representation and reasoning : proceedings of the fifth international conference (KR'96), Cambridge, Massachusetts, November 5-8, 1996 International Conference on Principles of Knowledge Representation and Reasoning, Doyle, Jon, Carlucci Aiello, Luigia, … Morgan Kaufmann Publishers
4 図書 KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings (: gw) German Conference on Artificial Intelligence, Görz, Günther, Hölldobler, Steffen, 1957- Springer-Verlag	10 図書 Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Shi, Zhongzhi North-Holland
5 電子ブック Practical Reasoning International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., Ohlbach, Hans Jürgen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings TABLEAUX, Swart, Harrie de Springer
6 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings (: gw ; : us) Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning Springer-Verlag	12 図書 Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex … Workshop on Reasoning with Incomplete and Changing Information, Antoniou, G. (Grigoris), Ghose, Aditya, Truszczyński, … Springer

1

2

3

4

5

6

7

8

9

10

11

12