Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the original 1st ed. 2001) Loot Price: R4,267
Discovery Miles 42 670
Repayment Terms: R400 pm x 12*
Add to cart
Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the...

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the original 1st ed. 2001)

Domenico Cantone; Foreword by J.T. Schwartz; Eugenio Omodeo, Alberto Policriti

Series: Monographs in Computer Science

 (sign in to rate)
Loot Price R4,267 Discovery Miles 42 670 | Repayment Terms: R400 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Monographs in Computer Science
Release date: April 2014
First published: 2001
Authors: Domenico Cantone
Foreword by: J.T. Schwartz
Authors: Eugenio Omodeo • Alberto Policriti
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 409
Edition: Softcover reprint of the original 1st ed. 2001
ISBN-13: 978-1-4419-2905-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Applications of computing > General
Books > Computing & IT > Computer programming > Programming languages > General
LSN: 1-4419-2905-3
Barcode: 9781441929051

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,400 Discovery Miles 24 000
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,485 Discovery Miles 14 850
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,779 Discovery Miles 17 790
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,247 Discovery Miles 12 470
C How to Program: With Case Studies in Applications and SystemsProgramming, Global Edition (Paperback, 9th edition): Paul...
C How to Program: With Case Studies in…
Paul Deitel, Harvey Deitel Paperback R2,192 Discovery Miles 21 920
Prolog Programming for Artificial Intelligence (Paperback, 4th edition): Ivan Bratko
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,181 Discovery Miles 21 810
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,425 Discovery Miles 24 250
Objects First with Java: A Practical Introduction Using BlueJ, Global Edition (Paperback, 6th edition): David Barnes
Objects First with Java: A Practical…
David Barnes Paperback R2,376 Discovery Miles 23 760
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R887 Discovery Miles 8 870
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R632 Discovery Miles 6 320
Advanced Python Commands - Become a Programmer from Scratch and Learn the Most Important Commands of the Most Popular...
Advanced Python Commands - Become a…
Manuel Mcfeely Hardcover R848 R703 Discovery Miles 7 030

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners