libcats.org
Главная →

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Обложка книги Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

, , ,
Papers from the International Workshop, TYPES 2000, held December 8-12, 2000 in Durham, UK. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

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

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

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

Вещмешок с сюрпризом

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

LaHaye, Tim - Left Behind - The Kids 03 - Through the Flames

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

Проснись и рычи

 Автор:
Категория: Индия
Размер книги: 355 Kb

Sensitivity Analysis for Neural Networks (Natural Computing Series)

 Автор: , Автор: , Автор: , Автор:
Категория: Computers , Artificial Intelligence
Размер книги: 2.06 Mb

Как писать статьи, стихи и рассказы

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

A Cura de Schopenhauer

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

Status Anxiety

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

Computers: Information Technology in Perspective (9th Edition)

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