libcats.org
Главная

Selected Papers on Automath

Обложка книги Selected Papers on Automath

Selected Papers on Automath

, ,
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

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

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

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Сплавы палладия.

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

Знаю я вас…

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

Боевые практики

Автор:
Категория: people, people, survival
Размер книги: 69.64 Mb

The Game is Over

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

The Commoner

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

Misleading Projections 1

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

Zombies Don't Cry - A Living Dead Love Story

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

Raumschiff des Mächtigen

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