GKC: A reasoning system for large knowledge bases
autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2019
leheküljed
p. 538-549
seeria-sari
Lecture notes in computer science ; 11716
konverentsi nimetus, aeg
27th International Conference on Automated Deduction, August 27–30, 2019
konverentsi toimumispaik
Natal, Brazil
leitav
https://doi.org/10.1007/978-3-030-29436-6_32
märksõna
automaattõestamine
arvutiteadus
matemaatiline analüüs
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85077009626&origin=inward&txGid=04fabb89f3b1c42f599d321ee8380ad8
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000693450800032
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
automated reasoning
knowledge base
ISSN
0302-9743
ISBN
978-3-030-29435-9
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Rakendusliku tehismõistuse uurimisrühm