Zobrazeno 1 - 10
of 371
pro vyhledávání: '"Horn Clauses"'
Autor:
Fuhr, Norbert
Publikováno v:
Journal of the American Society for Information Science. Jan2000, Vol. 51 Issue 2, p95-110. 16p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Discrete Mathematics & Theoretical Computer Science (DMTCS). 2012, Vol. 14 Issue 2, p29-36. 7p.
Publikováno v:
Algorithms, Vol 16, Iss 10, p 459 (2023)
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the “dist
Externí odkaz:
https://doaj.org/article/479bf7bb25ab4dabae0d75d26b97eaf9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kafle, Bishoksan1 kafle@ruc.dk, Gallagher, John P.1,2 jpg@ruc.dk
Publikováno v:
Science of Computer Programming. Apr2017, Vol. 137, p125-140. 16p.
Autor:
Wild, Marcel mwild@sun.ac.za
Publikováno v:
Theoretical Computer Science. Jan2017 Part B, Vol. 658, p264-292. 29p.
Autor:
Kafle, Bishoksan1 kafle@ruc.dk, Gallagher, John P.1,2 jpg@ruc.dk
Publikováno v:
Computer Languages, Systems & Structures. Jan2017 Part 1, Vol. 47, p2-18. 17p.
Autor:
SKRYPNYUK, NATALIYA1, NIELSON, FLEMMING2
Publikováno v:
International Journal of Foundations of Computer Science. Feb2013, Vol. 24 Issue 2, p283-302. 20p. 8 Charts.