close
1.

図書

図書
Ernesto Costa, Amilcar Cardoso (eds.)
出版情報: Berlin : Springer, 1997  xiv, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1323. Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
CBR and machine learning
constraints
intelligent tutoring
knowledge representation
multi-agent systems and DAI
nonmonotonic, qualitative and temporal reasoning, and problem solving
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
2.

図書

図書
Carlos Bento, Amílcar Cardoso, Gaël Dias (eds.)
出版情報: Berlin : Springer, c2005  xviii, 704 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3808 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼