close
1.

図書
図書
1. Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings
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.

電子ブック
ＥＢ
2. Progress in Artificial Intelligence
Portuguese Conference on Artificial Intelligence, Carlos Bento, Amilcar Cardoso, Ga?l Dias, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
3.

図書
図書
3. Progress in artificial intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005 : proceedings
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…
4.

電子ブック
ＥＢ
4. Progress in Artificial Intelligence
Portuguese Conference on Artificial Intelligence, Carlos Bento, Amilcar Cardoso, Gaël Dias, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Progress in Artificial Intelligence
Portuguese Conference on Artificial Intelligence, Amilcar Cardoso, Ernesto Costa
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: 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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼