close
1.

図書
図書
1. Reasoning with logic programming
José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings
José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1126 . Lecture notes in artificial intelligence
所蔵情報: loading…