Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Resolution theorem proving in reified modal logics

Resolution theorem proving in reified modal logics

J Stuart Aitken‚ Han Reichgelt and Nigel Shadbolt

Journal
Journal of Automated Reasoning
Number
1
Pages
103–129
Publisher
Kluwer Academic Publishers
Volume
12
Year
1994

Links

See Also

Back to Top