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 II (Hardcover) Loot Price: R5,054
Discovery Miles 50 540
Repayment Terms: R474 pm x 12*
Add to cart
Handbook of Automated Reasoning, Volume II (Hardcover): Alan J.A. Robinson, Andrei Voronkov

Handbook of Automated Reasoning, Volume II (Hardcover)

Alan J.A. Robinson, Andrei Voronkov

Series: Handbook of Automated Reasoning

 (sign in to rate)
Loot Price R5,054 Discovery Miles 50 540 | Repayment Terms: R474 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

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 60mm (L x W x T)
Format: Hardcover
Pages: 1188
ISBN-13: 978-0-444-50812-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 0-444-50812-0
Barcode: 9780444508126

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

Agent-Based Modeling and Network Dynamics (Hardcover): Akira Namatame, Shu-Heng Chen
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Dual Quaternions and Their Associated Clifford Algebras (Paperback): Ronald Goldman
Dual Quaternions and Their Associated…
Ronald Goldman Paperback R1,369 Discovery Miles 13 690
Digital Protection for Power Systems (Hardcover, 2nd edition): Salman K. Salman, A.T. Johns
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers, Volume 213 (Hardcover): Moysey Brio, Gary...
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing (Hardcover): Khodakhast Bibak
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,666 Discovery Miles 16 660
Numerical Linear Algebra with Julia (Paperback): Eric Darve, Mary Wootters
Numerical Linear Algebra with Julia
Eric Darve, Mary Wootters Paperback R2,289 Discovery Miles 22 890
Conceptual Spaces: Elaborations and Applications (Hardcover, 1st ed. 2019): Mauri Kaipainen, Frank Zenker, Antti Hautamaki,...
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
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 R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control Systems (Hardcover): Biswa Datta
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510
Essential Linear Algebra with Applications - A Problem-Solving Approach (Hardcover, 2014 ed.): Titu Andreescu
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,882 Discovery Miles 28 820
Mathematics and Computing - ICMC 2018, Varanasi, India, January 9-11, Selected Contributions (Hardcover, 1st ed. 2018): Debdas...
Mathematics and Computing - ICMC 2018…
Debdas Ghosh, Debasis Giri, … Hardcover R2,732 Discovery Miles 27 320
Modeling and Simulation with Compose and Activate (Hardcover, 1st ed. 2018): Stephen L. Campbell, Ramine Nikoukhah
Modeling and Simulation with Compose and…
Stephen L. Campbell, Ramine Nikoukhah Hardcover R3,180 Discovery Miles 31 800

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