close
1.

図書

図書
Fabrizio Riguzzi, Filip Železný (eds.)
出版情報: Berlin : Springer, c2013
シリーズ名: Lecture notes in computer science ; 7842. Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Edmund M. Clarke and Andrei Voronkov (Eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; . Lecture notes in artificial intelligence ; 6355
所蔵情報: loading…
3.

図書

図書
Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
出版情報: Heidelberg : Springer, c2012
シリーズ名: Lecture notes in computer science ; 7207. Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Paolo Frasconi, Francesca A. Lisi (eds.)
出版情報: Berlin : Springer, c2011
シリーズ名: Lecture notes in computer science ; 6489. Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Christian G. Fermüller, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, 2010
シリーズ名: Lecture notes in computer science ; 6397
Lecture notes in computer science ; Advanced research in computing and software science
オンライン: http://www.loc.gov/catdir/enhancements/fy1306/2010935496-d.html
http://www.loc.gov/catdir/enhancements/fy1402/2010935496-t.html
所蔵情報: loading…