UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.

O'Hearn, PW; Stachniak, Z; (1989) Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. In: Gonnet, GH, (ed.) ISSAC. (pp. 364 - 372). ACM

Full text not available from this repository.


Type:Proceedings paper
Title:Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.
ISBN:0-89791-325-6
DOI:10.1145/74540.74583
Publisher version:http://dl.acm.org/citation.cfm?id=74540
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record