|
|
libcats.org
Logical Foundations of Computer Science, LFCS 2007Sergei Artemov, Anil NerodeThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007.The volume presents 36 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Encyclopedia of Electrochemistry, BioelectrochemistryАвтор: Bard A.J., Автор: Stratmann M., Автор: Wilson G.S.
Размер книги: 8.79 Mb
Современное высотное строительство. МонографияАвтор:Категория: Строительство
Размер книги: 25.86 Mb
Экология почв. Часть 2. Разрушение почв. Дегумификация. Нарушение водного и химического режима почв. Учебное пособие для студентов ДО и ОЗО биолого-почвенного и геолого-географического факультетовАвтор: Вальков В.Ф., Автор: Казеев К.Ш., Автор: Колесников С.И.Категория: Экология
Размер книги: 715 Kb
63 Tactics for Teaching Diverse Learners, Grades 6-12Автор: Robert (Bob) F. Algozzine, Автор: Pamela (Pam) Campbell, Автор: Jianjun Adam WangКатегория: Образование
Размер книги: 3.69 Mb
|
|
|