Extending automated deduction for commonsense reasoning

vastutusandmed
Tanel Tammet
allikas
ajakirja aastakäik number kuu
arXiv:2003.13159
ilmumisaasta
leheküljed
p. 1-19
ISSN
2331-8422
märkused
Bibliogr.: 49 ref
TTÜ struktuuriüksus
keel
inglise