|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Clathrate Hydrates of Natural GasesАвтор: E. Dendy Sloan Jr., Автор: Carolyn Koh
Размер книги: 25.18 Mb
Myke Predko-Programming and customizing PIC microcontrollerАвтор:Категория: Electronical-Computer-Mechanical
Размер книги: 79.06 Mb
Logical Foundations of Computer Science, LFCS 2009Автор: Sergei Artemov, Автор: Anil NerodeКатегория: CsLn_
Размер книги: 7.65 Mb
Present for Success (St Training Solutions Success Skills Series)Автор: Alison Lester
Размер книги: 1.12 Mb
|
|
|