libcats.org
Главная

Abstraction, Reformulation and Approximation 4 conf

Обложка книги Abstraction, Reformulation and Approximation 4 conf

Abstraction, Reformulation and Approximation 4 conf

,
This book constitues the refereed proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2000, held at Lake LBJ, Texas, USA in July 2000. The nine revised full papers presented together with five extended abstracts, three posters, seven research summaries, and four invited papers were carefully reviewed and selected for inclusion in the book. The book addresses all current aspects of abstraction, reformulation, and approximation and applications in areas like automatic programming, constraint satisfaction, design, diagnosis, inductive logic programming, computational learning, planning, resource allocation, theorem proving, qualitative reasoning, relational databases, etc.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Древо жизни

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

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

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

TRISTIA

Автор:
Категория: Поэзия
Размер книги: 40 Kb

David Drake - Hammer's Slammers 0 3 - Paying the Piper

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

O'Donnell, Peter - Modesty Blaise 03 - I, Lucifer

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

The Engineering of Mixed Reality Systems

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

Vanishing Acts

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

Guys Read: Funny Business

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