Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 / edited by Z. Shi

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland, 1992

形態:

xi, 341 p. ; 23 cm

シリーズ名:

IFIP transactions ; A . Computer science and technology ; 19 <BA13962399>

著者名:

ISBN:

9780444898760 [044489876X]

書誌ID:

BA19860493

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Artificial intelligence--Congresses; Automatic theorem proving--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Intelligent information processing II : IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004), October 21-23, 2004, Beijing, … IFIP TC12/WG12.3 International Conference on Intelligent Information Processing, Shi, Zhongzhi, He, Qing Springer	7 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us) LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
2 図書 Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings International Workshop on Automated Deduction in Geometry, Gao, Xiao-Shan, Wang, Dongming, Yang, Lu Springer	8 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K. Springer
3 図書 Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and … IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, … North-Holland	9 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings (: kart) TABLEAUX, Galmiche, Didier, 1958- Springer
4 図書 Artificial intelligence in databases and information systems (DS-3) : proceedings of the IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial … IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, … North-Holland, Distributors for the U.S. and Canada, Elsevier	10 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us) LPAR, Pfenning, Frank Springer-Verlag
5 図書 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	11 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us) LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
6 図書 Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer	12 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings TABLEAUX, Dyckhoff, Roy, 1948- Springer

1

2

3

4

5

6

7

8

9

10

11

12