täiskirje prindi

Extending automated deduction for commonsense reasoning

autor
vastutusandmed
Tanel Tammet
allikas
ajakirja aastakäik number kuu
arXiv:2003.13159
ilmumisaasta
leheküljed
p. 1-19
leitav
ISSN
2331-8422
märkused
Bibliogr.: 49 ref
keel
inglise
Tammet, T. Extending automated deduction for commonsense reasoning // arXiv.org (2020) arXiv:2003.13159, p. 1-19. https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159