Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 21:36, 22 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Horn clause (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Type of logical formula}} In mathematical logic and logic programming, a '''Horn clause''' is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming, formal specification, universal algebra and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out th...»)