A resolution theorem prover for intuitionistic logic
author
statement of authorship
Tanel Tammet
source
Automated deduction - CADE 14 : proceedings : 14th International Conference on Automated Deduction : Townsville, North Queensland, Australia, July 13-17, 1997
location of publication
Berlin
publisher
year of publication
pages
p. 2-16
ISBN
3-540-63104-6
notes
(Lecture notes in computer science ; 1249). - Bibliogr.: 18 ref
Tammet, T. A resolution theorem prover for intuitionistic logic // Automated deduction - CADE 14 : proceedings : 14th International Conference on Automated Deduction : Townsville, North Queensland, Australia, July 13-17, 1997. Berlin : Springer, 1997. p. 2-16.