Ebook Info
- Published: 1991
- Number of pages: 416 pages
- Format: PDF
- File Size: 4.28 MB
- Authors: Gerard Huet
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.
User’s Reviews
Editorial Reviews: Book Description This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Reviews from Amazon users which were colected at the time this book was published on the website:
⭐
⭐
Keywords
Free Download Logical Frameworks 1st Edition in PDF format
Logical Frameworks 1st Edition PDF Free Download
Download Logical Frameworks 1st Edition 1991 PDF Free
Logical Frameworks 1st Edition 1991 PDF Free Download
Download Logical Frameworks 1st Edition PDF
Free Download Ebook Logical Frameworks 1st Edition