|
|
libcats.org
Главная →
Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 ProceedingsComputational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 ProceedingsJohn Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. StuckeyThis book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
На байдарках по Двине - 96Автор: Янин Леонид, Автор: Дещеревский АлексейКатегория: Путешествия и география
Размер книги: 82 Kb
Werkzeugmaschinen 2: Konstruktion und Berechnung, 8. AuflageАвтор: Manfred Weck
Размер книги: 12.43 Mb
An Act of TreasonАвтор: Coughlin Jack, Автор: Davis Donald AКатегория: fiction
Размер книги: 220 Kb
|
|
|