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

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

SAT 2005 - Satisfiability Research in the Year 2005 (Paperback, 2006 ed.) Loot Price: R4,013
Discovery Miles 40 130
Repayment Terms: R376 pm x 12*
Add to cart
SAT 2005 - Satisfiability Research in the Year 2005 (Paperback, 2006 ed.): Enrico Giunchiglia, Toby Walsh

SAT 2005 - Satisfiability Research in the Year 2005 (Paperback, 2006 ed.)

Enrico Giunchiglia, Toby Walsh

 (sign in to rate)
Loot Price R4,013 Discovery Miles 40 130 | Repayment Terms: R376 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.

General

Imprint: Springer
Country of origin: Netherlands
Release date: December 2014
First published: 2006
Editors: Enrico Giunchiglia • Toby Walsh
Dimensions: 235 x 155 x 16mm (L x W x T)
Format: Paperback
Pages: 293
Edition: 2006 ed.
ISBN-13: 978-9400787155
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 9400787154
Barcode: 9789400787155

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..

The Hitchhiker's Guide To AI - The African Edge (Paperback): Arthur Goldstuck
The Hitchhiker's Guide To AI - The…
Arthur Goldstuck Paperback R330 R270 Discovery Miles 2 700
African Artificial Intelligence - Discovering Africa's AI Identity (Paperback): Mark Nasila
African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate Spiritual Intelligence And Personal Wellbeing (Paperback): Deepak Chopra
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
Artificial Intelligence for Neurological Disorders (Paperback): Ajith Abraham, Sujata Dash, Subhendu Kumar Pani, Laura...
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R3,925 Discovery Miles 39 250
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
English Corpus Linguistics: Variation in Time, Space and Genre - Selected papers from ICAME 32 (Hardcover): Gisle Andersen,...
English Corpus Linguistics: Variation in…
Gisle Andersen, Kristin Bech Hardcover R2,805 Discovery Miles 28 050
Machine Learning and Data Mining (Paperback): I Kononenko, M Kukar
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R1,903 Discovery Miles 19 030
Deceitful Media - Artificial Intelligence and Social Life after the Turing Test (Hardcover): Simone Natale
Deceitful Media - Artificial…
Simone Natale Hardcover R2,435 Discovery Miles 24 350
Intelligent Communication Systems - Toward Constructing Human Friendly Communication Environment (Hardcover): Nobuyoshi...
Intelligent Communication Systems…
Nobuyoshi Terashima Hardcover R1,519 Discovery Miles 15 190
Constructions at Work - The nature of generalization in language (Hardcover): Adele Goldberg
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,010 Discovery Miles 20 100
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
AI Engineering - Building Applications With Foundation Models (Paperback): Chip Huyen
AI Engineering - Building Applications…
Chip Huyen Paperback R1,308 Discovery Miles 13 080

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