Books by T. Walsh
IOS Press publishes the following titles authored/edited by T. Walsh.

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 Applications
Edited by: I. Gent, H. Van Maaren and T. Walsh
2000, 568 pp., hardcover
ISBN: 978-1-58603-061-2
Price: US$143 / €130

IOS Press
Nieuwe Hemweg 6B, 1013 BG Amsterdam, The Netherlands
Tel.: +31 20 688 3355, Fax: +31 20 687 0019
E-mail: info@iospress.nl