LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Language EnglishEnglish
Book Paperback
Book Set Theory for Computing Domenico Cantone
Libristo code: 01421647
Publishers Springer-Verlag New York Inc., September 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Full description
? points 394 b
160.89 VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy


Customers also purchased


Professorin und Mutter - wie geht das? Birgit Piechulla / Book Hardback
common.buy 21.59
Trollflöjtens mystik Eddie Persson / Book Paperback
common.buy 30.99
Kniha o vědě Pickover Clifford A. / Book Hardback
common.buy 27.29

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Multi-Agent Programming Rafael H. Bordini / Book Hardback
common.buy 160.89
Probabilistic Logic Networks Ben Goertzel / Book Hardback
common.buy 160.89
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Book Paperback
common.buy 160.89
Quality Management in ART Clinics Fabíola Bento / Book Hardback
common.buy 157.49
Music, Criticism, and the Challenge of History Kevin C. Karnes / Book Hardback
common.buy 98.39
Computational Logic in Multi-Agent Systems Nils Bulling / Book Paperback
common.buy 51.69
Proof, Computation and Agency Johan Van Benthem / Book Paperback
common.buy 160.89
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Book Paperback
common.buy 40.89
Pioneering and Independent Spirit Debra Gold Hansen / Book Paperback
common.buy 27.19
Galen: On Problematical Movements Vivian Nutton / Book Paperback
common.buy 61.39
The Sewing Circles of Herat Christina Lamb / Book Paperback
common.buy 16.29
Nature for Sale Giovanna Ricoveri / Book Hardback
common.buy 117.39
The Trial Lawyer John Ellsworth / Book Paperback
common.buy 17.29
Evvie Drake Starts Over Linda Holmes / Book Paperback
common.buy 12.49
Model for Gene Therapy Ward Merkeley / Book Paperback
common.buy 16.89
Human Perception of Visual Information Bogdan Ionescu / Book Hardback
common.buy 182.19
The End Times Spiritual Warfare Mother & Refuge / Book Paperback
common.buy 18.79
Smart Nation Abdullah Alfaiz / Book Paperback
common.buy 234.19
Coming soon
The Making Of Global Capitalism Leo Panitch / Book Paperback
common.buy 14.69

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account