Automated Theorem Proving (Artificial Intelligence): A Logical Basis (Künstliche Intelligenz)

More Information

Format: Paperback
Pages: 304
Edition: 2nd ed. 1987
Publisher: Friedrick Vieweg & Son
Published: 01 Jan 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206