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

Elementary surveying. An introduction to geomatics

Автор: , Автор:
Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:

Саймон Флэгг и дьявол

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

Send Me a Sign

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

Battle on Venus

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

Homer

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

Hunters Out of Space

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

Zakelijke Etiquette

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

Inkheart

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