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
Только что пользователи скачали эти книги:

Asymptotics and special functions

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

Quantum Themes: The Charms of the Microworld

Автор:
Категория: P_Physics, PPop_Popular-level
Размер книги: 1.78 Mb

Bacterial Infections of Humans: Epidemiology and Control

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

War on the Saints, The Full Text, Unabridged Edition

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

Forgive us our Trespasses

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

Essays of Montaigne, vol. 3

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

A Farewell to Legs

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