libcats.org
Главная

Relational Methods in Computer Science, 6 conf., RelMICS 2001

Обложка книги Relational Methods in Computer Science, 6 conf., RelMICS 2001

Relational Methods in Computer Science, 6 conf., RelMICS 2001

This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.

The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Advanced quantum mechanics

Автор: , Автор: , Автор:
Размер книги: 3.13 Mb

Photochemical Reactions in Heterochain Polymers

Автор: , Автор: , Автор: , Автор:
Размер книги: 13.56 Mb

When Species Meet

Автор:
Категория: animals
Размер книги: 4.43 Mb

Occupational Injury: Risk, Prevention And Intervention

Автор: , Автор:
Размер книги: 3.08 Mb

DragonMech Shardsfall Quest (Sword & Sorcery)

Автор:
Размер книги: 5.01 Mb

Poesias seleccion

Автор:
Категория: fiction
Размер книги: 85 Kb