Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

More Information

Format: Paperback
Pages: 452
Edition: Softcover reprint of hardcover 1st ed. 1998
Publisher: Springer
Published: 06 Dec 2010
ISBN 10: 9048150515
ISBN 13: 9789048150519