|
|
libcats.org
Computer Science Logic, 8 conf., CSL '94Leszek Pacholski, Jerzy TiurynThis volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Логика, автоматы, алгоритмыАвтор: Айзерман М.А., Автор: Гусев Л.А., Автор: Розоноер Л.И., Автор: Смирнова И.М., Автор: Таль А.А.
Размер книги: 5.45 Mb
Воспитательная деятельность педагогаАвтор: Под общ. ред. В.А. Сластенина и И.А. Колесниковой
Размер книги: 2.18 Mb
Дистрибуция на практикеАвтор: Дорощук Н.Б., Автор: Кулеша В.В.Категория: Бизнес книги
Размер книги: 18.55 Mb
African Intellectuals in 19th and Early 20th Century South AfricaАвтор: Mcebisi Ndletyana (ed.)
Размер книги: 2.30 Mb
ELEX tijdschrift voor hobby-elektronica 1989-73 issue septemberАвтор: Elektuur B.V.
Размер книги: 58.79 Mb
Структура реальностиАвтор: Дойч Д.(Deutsch D.)Категория: P_Physics, PPop_Popular-level
Размер книги: 2.93 Mb
A 1950s Childhood- From Tin Baths to Bread and DrippingАвтор: Feeney PaulКатегория: fiction
Размер книги: 4.18 Mb
|
|
|