|
|
libcats.org
Abstraction, Reformulation and Approximation 4 confBerthe Y. Choueiry, Toby WalshThis 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Радиопередающие и радиоприемные устройстваАвтор: Левичев Владимир ГригорьевичКатегория: радиоэлектроника
Размер книги: 10.88 Mb
Кодекс делового поведения и этикиАвтор:Категория: Бизнес коммерция предпринимательство
Размер книги: 314 Kb
Сопротивление усталости элементов конструкцийАвтор: Воробьев А.З., Автор: Олькин Б.И., Автор: Стебенев В.Н.Категория: Tech
Размер книги: 11.90 Mb
Основы транспортного права: Методические указания к выполнению контрольных работ для студентов заочного отделенияАвтор: Чеглаков К.В.Категория: Государство и право. Юридические науки
Размер книги: 90 Kb
|
|
|