You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
416 pages • hardcover • 3 editions
ISBN/UID: 9780521413008
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 26 Sep 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 • hardcover
ISBN/UID: 9780521413008
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 26 Sep 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