Automated Theorem Proving

More Information

Format: Illustrated
Pages: 312
Edition: 1982
Publisher: Vieweg+Teubner Verlag
Published: 01 Jan 1982
ISBN 10: 3528085207
ISBN 13: 9783528085209