Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
фиксированный
Связанные издания:
A Constraint Logic Programming Scheme for Taxonomic Reasoning
An "Ehrenfeucht-Fraisse Game" for Fixpoint Logic and Stratified Fixpoint Logic
Inductive Definability with Counting on Finite Structures
Parameterized and Exact Computation: Revised Selected Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, September 2014
Provenance and Annotation of Data and Processes: Revised Selected Papers/5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 2014