Towards efficient subsumption
autor
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
ilmumisaasta
leheküljed
p. 427-441
ISBN
3-540-64675-2
märkused
(Lecture notes in computer science ; 1421). - Bibliogr.: 8 ref
keel
inglise
Tammet, T. Towards efficient subsumption // Automated Deduction - CADE 15 : proceedings : 15th International Conference on Automated Deduction : Lindau, Germany, July 5-10, 1998. Berlin : Springer, 1998. p. 427-441.