Вы здесь

Главная

конструктивный

Связанные издания:

Compilative Constructive Negation in Constraint Logic Programs
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009
Conditional Narrowing with Constructive Negation
Coordination Models and Languages: Proc./12th International Conference, COORDINATION 2010, Amsterdan, The Netherlands, June 2010
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
On Constructive Negation for Disjunctive Logic Programs
Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009
Pursuit of the Universal: Proc./12th Conference on Computability in Europe, CiE 2016, Paris, France, June 2016
Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Typed Lambda Calculi and Applications: Proc./11th International Conference, TLCA 2013, Eindhoven, THe Netherlands, June 2013
Исследования по конструктивной математике и математической логике
Исследования по конструктивной математике и математической логике. VI
Исследования по конструктивной математике и математической логике. VIII
Конструктивнi операцii
Конструктивные множества и их приложения
Конструктивные модели
Конструктивные процессы: Тезисы конференции
Симметрическая конструктивная логика и некоторые её приложения
Справочная книга по математической логике в четырёх частях. Часть 4: Теория доказательств и конструктивная математика