Solving a problem in relevance logic with an automated theorem prover
By: (by) Hans Jürgen Ohlbach (and)Graham Wrightson.
Contributors: Wrightson, Graham.
Series: Interner Bericht -- 11/83
Publisher: Fakultät für Informatik, Universität Karlsruhe
Published: 1983
Place of publication: (Karlsruhe)
Language: eng
Number of pages: 14