ID:DA13339443
Search authors sharing the same name
Robert Nieuwenhuis (ed.)
Springer c2005 Lecture notes in computer science 3632 . Lecture notes in artificial intelligence
Available at 14 libraries
Springer c2003 Lecture notes in computer science 2706
Available at 21 libraries
Robert Nieuwenhuis, Andrei Voronkov (eds.)
Springer c2001 Lecture notes in computer science 2250 . Lecture notes in artificial intelligence
Available at 28 libraries