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

Genki 1: An Integrated Course in Elementary Japanese 1

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

Contemporary Theatre, Film and Television, Volume 97

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

Нелетописное

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

Язык программирования Java

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

Chaotic Dynamics And Transport In Classical And Quantum Systems

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

Рассказы о маршале Жукове

 Автор:
Категория: Детская литература
Размер книги: 10.84 Mb

a Pack of Lies

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