Logical Frameworks 1st Edition by Gerard Huet (PDF)

4

 

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

Previous articleECOOP ’87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings (Lecture Notes in Computer Science, 276) 1987th Edition by Jean Bezivin (PDF)
Next articleLogical Aspects of Computational Linguistics: First International Conference, LACL ’96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture Notes in Computer Science, 1328) 1997th Edition by Christian Retore (PDF)