ID:DA16689601
Search authors sharing the same name
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Springer c2008 Lecture notes in computer science 5330 . Lecture notes in artificial intelligence
Available at 2 libraries