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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Ф.Скотт Фицджеральд. Ринг

 Автор:
Размер книги: 15 Kb

Вирусология. В 3 томах

 Автор: , Автор:
Категория: science, science, living
Размер книги: 7.50 Mb

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