libcats.org
Главная →

Computer Science Logic, 14 conf.EACSL

Обложка книги Computer Science Logic, 14 conf.EACSL

Computer Science Logic, 14 conf.EACSL

,
Proceedings of the 14th International Workshop, CSL 2000, Annual Conference of the EACSL, held in Fischbachau, Germany, August 21-26, 2000. Topics covered by this year's papers included automated deduction and interactive theorem proving, categorical logic and topological semantics, and higher order logic. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Справочник кустаря

 Автор:
Категория: Техника, Переплетное дело
Размер книги: 75.46 Mb

Тайны и уроки зимней войны. 1939—1940.

 Автор:
Категория: Военная история
Размер книги: 10.45 Mb

Мир воров

 Автор:
Категория: Русский криминал
Размер книги: 466 Kb

Materia Medica of New and Old Homeopathic Medicines

 Автор:
Размер книги: 1.20 Mb

The Gate of Fire

 Автор:
Категория: fiction
Размер книги: 1.22 Mb

Big Sky Grooms

 Автор:
Категория: fiction
Размер книги: 341 Kb

Elric: The Sleeping Sorceress

 Автор: , Автор:
Категория: fiction
Размер книги: 5.10 Mb