ENGLISH

Logical Frameworks

By Gérard Huet , G. Plotkin (editors)

Book information

Publisher
CUP
Year
1991
ISBN
0521413001, 9780521413008
LCC
Q390 .L64 1991
Open Library ID
OL1322095M
Language
english
Format
DJVU
Filesize
3 MB (2651540 bytes)
Pages
416\416
Library
Kolxo3
DPI
300
Orientation
no
Scanned
yes
Time added
2012-02-04 16:00:00

Description

This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Similar books