Výsledky vyhľadávania - (mathematical OR matematika) logic and formal languages—logic and constraint programming
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf
-
2
Autori: a ďalší
Typ zdroja: eBook.
Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
Plný text ve formátu PDF Plný text vo formáte ePub -
3
Autori: a ďalší
Zdroj: Functional & Logic Programming (9783540334385). 2006, p146-162. 17p.
-
4
Autori:
Zdroj: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p
-
5
Autori: a ďalší
Zdroj: Electronics (2079-9292); Nov2023, Vol. 12 Issue 22, p4578, 17p
-
6
Autori: MILLER, DALE
Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p859-904, 46p
-
7
Autori: a ďalší
Zdroj: SAGE Open; Oct-Dec2023, Vol. 13 Issue 4, p1-15, 15p
-
8
Autori:
Zdroj: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p444-467, 24p
Predmety: LOGIC programming, IMPLICATION (Logic), LOGIC
Geografický termín: NELSON (N.Z.)
-
9
Autori:
Typ zdroja: eBook.
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
Plný text ve formátu PDF Plný text vo formáte ePub -
10
Alternate Title: Logika narodu: Nacjonalizm, logika formalna i międzywojenna Polska. (Polish)
Autori: Dunning, David E.
Zdroj: Studia Historiae Scientiarum; 2018, Issue 17, p207-251, 45p
-
11
Autori:
Zdroj: Journal of Logic & Computation; Jul2024, Vol. 34 Issue 5, p977-1000, 24p
-
12
Autori: Basti, Gianfranco
Zdroj: Philosophies; Dec2022, Vol. 7 Issue 6, p121, 84p
-
13
Zdroj: Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p
-
14
Autori:
Zdroj: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p16.1-16.26, 26p, 5 Charts
-
15
Autori: a ďalší
Zdroj: Technologies (2227-7080); Sep2025, Vol. 13 Issue 9, p421, 34p
-
16
Autori: a ďalší
Zdroj: Knowledge; Sep2025, Vol. 5 Issue 3, p18, 34p
-
17
Autori:
Zdroj: Engineering Construction & Architectural Management (09699988); 2025, Vol. 32 Issue 6, p3832-3856, 25p
-
18
Autori: a ďalší
Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-48, 48p
-
19
Autori:
Zdroj: Artificial Intelligence & Law; Jun2022, Vol. 30 Issue 2, p163-197, 35p
-
20
Autori:
Zdroj: Autonomous Agents & Multi-Agent Systems; Sep2011, Vol. 23 Issue 2, p224-272, 49p
Nájsť tento článok vo Web of Science
Full Text Finder