Towards efficient subsumption
author
statement of authorship
Tanel Tammet
source
Automated Deduction - CADE 15 : proceedings : 15th International Conference on Automated Deduction : Lindau, Germany, July 5-10, 1998
location of publication
Berlin
publisher
year of publication
pages
p. 427-441
ISBN
3-540-64675-2
notes
(Lecture notes in computer science ; 1421). - Bibliogr.: 8 ref
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.