В настоящее время на этой странице нет текста. Вы можете найти упоминание данного названия на других страницах, или найти соответствующие записи журналов. У вас нет разрешения создать данную страницу.
Категория:Logic programming
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Страницы в категории «Logic programming»
Показано 29 страниц из 29, находящихся в данной категории.
A
C
- Английская Википедия:Circumscription (logic)
- Английская Википедия:Clause (logic)
- Английская Википедия:Closed-world assumption
- Английская Википедия:Coinduction
- Английская Википедия:Concurrent constraint logic programming
- Английская Википедия:Concurrent logic programming
- Английская Википедия:Conflict resolution strategy
- Английская Википедия:Constraint logic programming
- Английская Википедия:Cut (logic programming)