Automated theorem-proving in non-classical logics
By: Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer.
Contributors: McRobbie, M. A.; Meyer, Robert K.
Series: Research notes in theoretical computer science,
Publisher: Pitman; Wiley
Published: 1988
Place of publication: London; New York
Language: eng
Number of pages: 154
Subjects: Automatic theorem proving.; Nonclassical mathematical logic.
Notes: Bibliography: p. 135-142.
Includes indexes.