ID:DA16689601
同姓同名の著者を検索
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Springer c2008 Lecture notes in computer science 5330 . Lecture notes in artificial intelligence
所蔵館2館