|
|
libcats.org
Selected papers on automathR.P. Nederpelt, J.H. Geuvers, R.C. de VrijerThe 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.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Обратные задачи Штурма-ЛиувилляАвтор: Левитан Б.М.Категория: Mathematics, Mathematical physics
Размер книги: 3.34 Mb
Transmission electron microscopy: a textbook for materials scienceАвтор: David B. Williams, Автор: C. Barry Carter
Размер книги: 44.64 Mb
Research in Cryptology, 2 conf., WEWoRC 2007Автор: Stefan Lucks, Автор: Ahmad-Reza Sadeghi, Автор: Christopher WolfКатегория: CsLn_
Размер книги: 1.45 Mb
The Bullish Thinking Guide for Managers: How to Save Your Advisors and..Автор: Alden Cass, Автор: Brian F. Shaw, Автор: Sydney LeBlancКатегория: Менеджмент
Размер книги: 1.18 Mb
Life and labor: dimensions of American working-class historyАвтор: Charles Stephenson, Автор: Robert Asher
Размер книги: 724 Kb
|
|
|