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

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Handbook of Automated Reasoning, Volume I (Hardcover) Loot Price: R5,814
Discovery Miles 58 140
Repayment Terms: R545 pm x 12*
Add to cart
Handbook of Automated Reasoning, Volume I (Hardcover): Alan J.A. Robinson, Andrei Voronkov

Handbook of Automated Reasoning, Volume I (Hardcover)

Alan J.A. Robinson, Andrei Voronkov

Series: Handbook of Automated Reasoning

 (sign in to rate)
Loot Price R5,814 Discovery Miles 58 140 | Repayment Terms: R545 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

General

Imprint: North-Holland
Country of origin: United States
Series: Handbook of Automated Reasoning
Release date: June 2001
First published: 2001
Editors: Alan J.A. Robinson • Andrei Voronkov
Dimensions: 240 x 165 x 52mm (L x W x T)
Format: Hardcover
Pages: 996
ISBN-13: 978-0-444-82949-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 0-444-82949-0
Barcode: 9780444829498

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

Discrete and Combinatorial Mathematics - Pearson New International Edition (Paperback, 5th edition): Ralph Grimaldi
Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,479 Discovery Miles 24 790
Handbook of Research on Emerging Trends and Applications of Machine Learning (Hardcover, 2 Volumes): Arun Solanki, Sandeep...
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R11,531 Discovery Miles 115 310
Voronoi Diagrams And Delaunay Triangulations (Hardcover): Franz Aurenhammer, Rolf Klein, Der-Tsai Lee
Voronoi Diagrams And Delaunay…
Franz Aurenhammer, Rolf Klein, … Hardcover R2,492 Discovery Miles 24 920
Mathematical Logic For Computer Science (2nd Edition) (Hardcover, 2nd Revised edition): Zhongwan Lu
Mathematical Logic For Computer Science…
Zhongwan Lu Hardcover R2,182 Discovery Miles 21 820
Cybersecurity - Learn Information Technology Security: How to Protect Your Data From Hacker Attacks While You are Browsing the...
Cybersecurity - Learn Information…
Alan Grid Hardcover R740 Discovery Miles 7 400
Computational Electrodynamics - The Finite-difference Time-domain Method (Hardcover, New): Allen Taflove
Computational Electrodynamics - The…
Allen Taflove Hardcover R5,088 Discovery Miles 50 880
Introduction to Parallel Computing - A practical guide with examples in C (Hardcover): Wesley Petersen, Peter Arbenz
Introduction to Parallel Computing - A…
Wesley Petersen, Peter Arbenz Hardcover R6,873 R6,179 Discovery Miles 61 790
Discrete Structures (Hardcover, 4th Revised edition): B.S. Vatsa, Suchi Vasta
Discrete Structures
B.S. Vatsa, Suchi Vasta Hardcover R1,291 Discovery Miles 12 910
Threshold Graphs and Related Topics, Volume 56 (Hardcover): N.V.R. Mahadev, U.N. Peled
Threshold Graphs and Related Topics…
N.V.R. Mahadev, U.N. Peled Hardcover R3,209 Discovery Miles 32 090
A First Course in Network Theory (Hardcover): Ernesto Estrada, Philip A Knight
A First Course in Network Theory
Ernesto Estrada, Philip A Knight Hardcover R3,556 Discovery Miles 35 560
Machine Learning Applications in Non-Conventional Machining Processes (Hardcover): Goutam Kumar Bose, Pritam Pain
Machine Learning Applications in…
Goutam Kumar Bose, Pritam Pain Hardcover R5,926 Discovery Miles 59 260
Continued Fractions with Applications, Volume 3 (Hardcover): L. Lorentzen, H. Waadeland
Continued Fractions with Applications…
L. Lorentzen, H. Waadeland Hardcover R2,083 Discovery Miles 20 830

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