Towards efficient subsumption
autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
Automated Deduction - CADE 15 : proceedings : 15th International Conference on Automated Deduction : Lindau, Germany, July 5-10, 1998
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
1998
leheküljed
p. 427-441
leitav
https://link.springer.com/chapter/10.1007/BFb0054276
märksõna
loogika
intuitsionistlik loogika
tüübiteooria
ISBN
3-540-64675-2
märkused
(Lecture notes in computer science ; 1421). - Bibliogr.: 8 ref
keel
inglise