Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

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

形態:

xi, 307 p. ; 24 cm

著者名:

シリーズ名:

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

書誌ID:

BA38088857

ISBN:

9783540649601 [3540649603]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : Q334 LCSH : Artificial intelligence -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	7 図書 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : … European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Benferhat, Salem, 1966-, … Springer
2 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen Springer	8 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, … Springer
3 図書 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers International Conference AISC, Campbell, John A., 1940-, Roanes-Lozano, Eugenio Springer	9 図書 Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '98, Vancouver, BC, Canada, … Conference of the Canadian Society for Computational Studies of Intelligence, Canadian Society for Computational Studies … Springer
4 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	10 図書 Artificial intelligence : methodology, systems, and applications : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998 : … International Conference on Artificial Intelligence : Methodology, Systems, Applications, Giunchiglia, Fausto Springer
5 電子ブック Artificial Intelligence and Symbolic Computation : 8th International Conference AISC 2006 Beijing China September 20-222006 Proceedings Calmet Jaques, Wang Dongming, Ida Tetsuo, SpringerLink (Online service) Springer-Verlag GmbH.	11 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings JELIA, Eijck, J. van (Jan) Springer-Verlag
6 図書 Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings JELIA, Ojeda-Aciego, Manuel, 1967- Springer	12 図書 Artificial intelligence II : methodology, systems, applications : proceedings of the Second International Conference on Artificial Intelligence: Methodology, … International Conference on Artificial Intelligence : Methodology, Systems, Applications, Jorrand, Philippe, Sgurev, V. … North-Holland