Scan barcode
416 pages • missing pub info (editions)
ISBN/UID: 9780521413008
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 26 September 1991
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...
Community Reviews
Content Warnings
416 pages • missing pub info (editions)
ISBN/UID: 9780521413008
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 26 September 1991
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...
Community Reviews
Content Warnings