2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Relational and Algebraic Methods in Computer Science - RAMICS 2011
Автор:
Harrie de Swart
Размер книги: 3.19 Mb
Relational Methods in Computer Science, 6 conf., RelMICS 2001
Автор:
Harrie C.M. de Swart
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.22 Mb
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98
Автор:
Harrie de Swart
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.73 Mb
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274
Автор:
Harrie de Swart
, Автор:
Ewa Orlowska
, Автор:
Gunther Schmidt
, Автор:
Marc Roubens
Категория:
CsLn_
Размер книги: 2.42 Mb
Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised
Автор:
Harrie de Swart
, Автор:
Ewa Orlowska
, Автор:
Gunther Schmidt
, Автор:
Marc Roubens
Размер книги: 3.76 Mb
