Journal of Automated Reasoning

, Volume 7, Issue 4, pp 635–637 | Cite as

Approaching hard non-classical problems

  • Paul B. Thistlewaite
  • Michael A. McRobbie
Problem Corner
  • 20 Downloads

Keywords

Artificial Intelligence Mathematical Logic Formal Language Algebraic Manipulation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. 1.
    Thistlewaite P. B., McRobbie M. A., and Meyer R. K.,Automated Theorem-Proving in Non-Classical Logics, Pitman, London, and Wiley, New York (1988).Google Scholar

Copyright information

© Kluwer Academic Publishers 1991

Authors and Affiliations

  • Paul B. Thistlewaite
    • 1
  • Michael A. McRobbie
    • 1
  1. 1.Centre for Information Science ResearchAustralian National UniversityCanberraAustralia

Personalised recommendations