Towards efficient subsumption
author
Tammet, Tanel
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
Springer
year of publication
1998
pages
p. 427-441
url
https://link.springer.com/chapter/10.1007/BFb0054276
subject term
loogika
intuitsionistlik loogika
tüübiteooria
ISBN
3-540-64675-2
notes
(Lecture notes in computer science ; 1421). - Bibliogr.: 8 ref
language
inglise