Order Total (1 Item Items):
Shipping Destination:
9780521413008 - Logical Frameworks (16 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (14)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (16)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (11)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
LOGICAL FRAMEWORKS.
Published by Cambridge University Press:, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 45.71
Convert currency£ 36.98 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHard 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.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.32
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Logical Frameworks (Hardcover)
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
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.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 95.47
Convert currency£ 32.54 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to baskethardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Logical Frameworks
Published by Cambridge University Press CUP, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 132.76
Convert currency£ 6.66 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 416.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 106.65
Convert currency£ 33.28 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: New.
-
Logical Frameworks (Hardcover)
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 105.17
Convert currency£ 36.98 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. 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.
-
Logical Frameworks (Hardcover)
Published by Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 116.22
Convert currency£ 27.36 shipping from Australia to United KingdomQuantity: 1 available
Add to basketHardcover. 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 Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 87.21
Convert currency£ 55.47 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 142.99
Convert currency£ 12.15 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
Hardcover. Condition: Like New. Like New. book.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 101.38
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 810.
-
Hardcover. Condition: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand.
-
Logical Frameworks
Published by Cambridge University Press, 2011
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 107.70
Convert currency£ 21.70 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. 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.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
Condition: New. Print on Demand pp. 416 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.
-
Logical Frameworks
Published by Cambridge University Press, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Language: English
£ 147.22
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 416.
