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

More Information

Format: Paperback
Pages: 352
Edition: Softcover reprint of hardcover 1st ed. 1998
Publisher: Springer
Published: 09 Dec 2010
ISBN 10: 9048150523
ISBN 13: 9789048150526