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.
- PublisherCambridge University Press
- Publication date1991
- ISBN 10 0521413001
- ISBN 13 9780521413008
- BindingHardcover
- Number of pages416
- EditorHuet Gerard, Plotkin G.
Top Search Results from the AbeBooks Marketplace
Stock Image
Logical Frameworks [Hardcover] Huet, Gerard and Plotkin, G.
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Used
Hardcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 4 out of 5 stars
Condition: Good. Spine of cover has faded and some slight shelf wear. Also inscriptions on fep. Content is fine. Seller Inventory # 052285-13
Quantity: 1 available
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190002047
Quantity: Over 20 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. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521413008_lsuk
Quantity: Over 20 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
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 31bd7ac592daaf3874da8b956eecd2b7
Quantity: Over 20 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, SD, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks132398
Quantity: 1 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. Seller Inventory # C9780521413008
Quantity: 4 available
Stock Image
Logical Frameworks
Published by
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 18434802
Quantity: 3 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.KlappentextThis 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Seller Inventory # 446934626
Quantity: Over 20 available