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
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…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Dual Quaternions and Their Associated…
Ronald Goldman Paperback R1,369 Discovery Miles 13 690
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,666 Discovery Miles 16 660
Numerical Linear Algebra with Julia
Eric Darve, Mary Wootters Paperback R2,289 Discovery Miles 22 890
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,882 Discovery Miles 28 820
Mathematics and Computing - ICMC 2018…
Debdas Ghosh, Debasis Giri, … Hardcover R2,732 Discovery Miles 27 320
Modeling and Simulation with Compose and…
Stephen L. Campbell, Ramine Nikoukhah Hardcover R3,180 Discovery Miles 31 800

See more

Partners