Items related to Logical Frameworks
Synopsis
This 1991 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 its 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.
"synopsis" may belong to another edition of this title.
Book Description
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.
"About this title" may belong to another edition of this title.
Search results for Logical Frameworks
Stock Image
LOGICAL FRAMEWORKS.
Published by
Cambridge University Press:, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Used
Hardcover
Seller: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Seller rating 5 out of 5 stars
Hard Cover. Condition: Fine. 403 pages. "This book contains a collection of papers concerned with logical frameworks. Such frameworks arise in a number of ways when considering the relationship between logic and computation, and indeed the general structure of logical formalism." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 022849
Quantity: 1 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521413008_new
Quantity: Over 20 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 810. Seller Inventory # C9780521413008
Quantity: Over 20 available
Stock Image
Logical Frameworks (Hardcover)
Published by
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 its 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. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521413008
Quantity: 1 available
Stock Image
Logical Frameworks
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand. Seller Inventory # __0521413001
Quantity: 1 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521413001
Quantity: 1 available
Seller Image
Logical Frameworks
Published by
Cambridge University Press, 2011
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.Inhaltsverzeichnis1. The logical theory of constructions P. Aczel and D. Carlisle 2. The Boyer-Moore theorem prover and Nuprl: an ex. Seller Inventory # 446934626
Quantity: Over 20 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press CUP, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 416. Seller Inventory # 26434808
Quantity: 4 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks132398
Quantity: 1 available
Stock Image
Logical Frameworks (Hardcover)
Published by
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 its 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. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521413008
Quantity: 1 available