A resolution theorem prover for intuitionistic logic
author
Tammet, Tanel
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
Springer
year of publication
1997
pages
p. 2-16
url
https://link.springer.com/chapter/10.1007/3-540-61511-3_65
subject term
pöördülesanded
intuitsionistlik loogika
ISBN
3-540-63104-6
notes
(Lecture notes in computer science ; 1249). - Bibliogr.: 18 ref
language
inglise