by Andrei Voronkov (Editor), RobertNieuwenhuis (Editor)
Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet.
Format: Illustrated
Pages: 758
Edition: 2001
Publisher: Springer
Published: 21 Nov 2001
ISBN 10: 3540429573
ISBN 13: 9783540429579