phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Set Theory for Computing

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 467 b
186.42 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

TOP
Revolt Of The Cochroach People Oscar Zeta Acosta / Paperback
common.buy 14.32 €
Ms Cupcake Mellissa Morgan / Hardback
common.buy 21.89 €
Theory of Logical Calculi Ryszard Wójcicki / Paperback
common.buy 360.13 €
Proof, Computation and Agency Johan Van Benthem / Paperback
common.buy 186.42 €
Computational Logic in Multi-Agent Systems Nils Bulling / Paperback
common.buy 61.46 €
Hans Richter Timothy Benson / Hardback
common.buy 77.21 €
Computational Semantics with Functional Programming Jan van EijckChristina Unger / Hardback
common.buy 172.79 €
Computational Intelligence in Multimedia Processing: Recent Advances Aboul-Ella Hassanien / Hardback
common.buy 305.83 €
Quality Management in ART Clinics Fabíola Bento / Hardback
common.buy 186.42 €
Computational Intelligence and Intelligent Systems Zhihua Cai / Paperback
common.buy 121.22 €
Multi-Agent Programming Rafael H. Bordini / Hardback
common.buy 186.42 €
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Paperback
common.buy 186.42 €
Probabilistic Logic Networks Ben Goertzel / Hardback
common.buy 186.42 €
Rache Robert Low / Paperback
common.buy 10.99 €
Handbook of Philosophical Logic Dov M. Gabbay / Paperback
common.buy 186.42 €
Choosing and Keeping Pigs Linda McDonald Brown / Paperback
common.buy 21.49 €

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.

About the book

Full name Set Theory for Computing
Author Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 409
EAN 9781441929051
ISBN 1441929053
Libristo code 01421647
Publishers Springer-Verlag New York Inc.
Weight 652
Dimensions 155 x 235 x 24

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Login

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

 
mandatory
mandatory
Forgotten password

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