Počet záznamů: 1
Bounds on the Size of PC and URC Formulas
- 1.
SYSNO 0536433 Název Bounds on the Size of PC and URC Formulas Tvůrce(i) Kučera, P. (CZ)
Savický, Petr (UIVT-O) SAI, RID, ORCIDZdroj.dok. Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. - : AAAI Press Druh dok. Článek v odborném periodiku Grant GA19-19463S GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. US Klíč.slova automated reasoning * knowledge representation * satisfiability URL http://hdl.handle.net/11104/0314210 Trvalý link http://hdl.handle.net/11104/0314210 Název souboru Staženo Velikost Komentář Verze Přístup 0536433-afin.pdf 2 294.1 KB OA casopis Vydavatelský postprint povolen
Počet záznamů: 1