Books by H. Van Maaren
IOS Press publishes the following titles authored/edited by H. Van Maaren.
|
Volume 185 Frontiers in Artificial Intelligence and Applications Edited by: A. Biere, M. Heule, H. Van Maaren and T. Walsh February 2009, 980 pp., hardcover ISBN: 978-1-58603-929-5 Price: US$195 / €150 |
|
|
Highlights of Satisfiability Research in the Year 2000
Volume 63 Frontiers in Artificial Intelligence and ApplicationsEdited by: I. Gent, H. Van Maaren and T. Walsh 2000, 568 pp., hardcover ISBN: 978-1-58603-061-2 Price: US$143 / €130 |
|