Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings. ISBN 3540232125. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.