Order Total (1 Item Items):
Shipping Destination:
Nadathur (85 results)
Author:
nadathur
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (85)
- 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 (63)
- As New, Fine or Near Fine (12)
- Very Good or Good (10)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
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 (29)
- Not Print on Demand (67)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science, 1702)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Principles and Practice of Declarative Programming : International Conference, PPDP '99, Paris, France, September/October 1999, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1999
ISBN 10: 3540665404 ISBN 13: 9783540665403
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
City of Sorrows
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fine.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Paperback. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
paperback. Condition: Very Good. A clean, cared for item that is unmarked and shows limited shelf wear.
-
Mind Binder (The Halls of Abaddon)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 13.99
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
The War Diaries
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 26.17
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Programming with Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Programming With Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Condition: New.
-
Programming with Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Condition: New.
-
Programming With Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Condition: As New. Unread book in perfect condition.
-
Condition: new.
-
Programming with Higher-Order Logic
Language: English
Published by Cambridge University Press, GB, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called ?Prolog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and ?-terms and ?-calculus expressions can be encoded in ?Prolog.
-
Mind Binder
Language: English
Published by LIGHTNING SOURCE INC, 2021
ISBN 10: 0615535224 ISBN 13: 9780615535227
Condition: New.
-
Programming with Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 48.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science, 1702)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Principles and Practice of Declarative Programming : International Conference, Ppdp'99, Paris, France, September, 29 - October I, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Programming With Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Programming With Higher-Order Logic
Language: English
Published by Cambridge University Press, 2012
ISBN 10: 052187940X ISBN 13: 9780521879408
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1550grams, ISBN:9780128027783.
-
Principles and Practice of Declarative Programming : International Conference, Ppdp'99, Paris, France, September, 29 - October I, 1999, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
