Automated Theorem Proving in Non-Classical Logics
Publisher: Springer-Verlag
Published: December 1995
Format: Hardcover
ISBN-13: 9780387976921
Subjects: Computer Science Research; Science/Mathematics