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

Contemporary Theatre, Film and Television, Volume 97

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

Una Muñeca Rusa – El Lado De La Sombra

 Автор:
Категория: Классическая проза
Размер книги: 480 Kb

Драгоценные камни

 Автор:
Категория: Химия, химия элементов
Размер книги: 20.23 Mb

Система мироздания

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

Menander: A Rhetor in Context

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

Behemoth: B-Max & Seppuku

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

Sola Experientia - Feyerabend's Refutation of Classical Empiricism

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