A resolution theorem prover for intuitionistic logic

vastutusandmed
Tanel Tammet
allikas
Automated deduction - CADE 14 : proceedings : 14th International Conference on Automated Deduction : Townsville, North Queensland, Australia, July 13-17, 1997
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 2-16
ISBN
3-540-63104-6
märkused
(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.