Automated Theorem Proving in Non-Classical Logics

by C. Morgan

Hardcover

ISBN: 978-0-387-97692-1

ISBN-10: 0-387-97692-2

Springer Verlag · 1995

See also (possibly by other authors):
1988PaperbackAutomated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
1988PaperbackAutomated theorem-proving in non-classical logics (Research notes in theoretical computer science)