Resolution, inverse method and the sequent calculus

vastutusandmed
Tanel Tammet
allikas
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 65-83
ISBN
3-540-63385-5
märkused
(Lecture notes in computer science ; 1289). - Bibliogr.: 15 ref
Tammet, T. Resolution, inverse method and the sequent calculus // Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings. Berlin : Springer, 1997. p. 65-83.