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,335
Discovery Miles 53 350
Repayment Terms: R500 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,335 Discovery Miles 53 350 | Repayment Terms: R500 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 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
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..

Discrete Structures (Hardcover, 4th Revised edition): B.S. Vatsa, Suchi Vasta
Discrete Structures
B.S. Vatsa, Suchi Vasta Hardcover R1,274 Discovery Miles 12 740
Advanced Probability and Statistics - Applications to Physics and Engineering (Hardcover): Harish Parthasarathy
Advanced Probability and Statistics…
Harish Parthasarathy Hardcover R3,741 R3,114 Discovery Miles 31 140
AI-based Metaheuristics for Information Security in Digital Media (Hardcover): Apoorva S Shastri, Mangal Singh, Anand J....
AI-based Metaheuristics for Information…
Apoorva S Shastri, Mangal Singh, … Hardcover R2,371 Discovery Miles 23 710
200 Problems on Languages, Automata, and Computation (Hardcover): Filip Murlak, Damian Niwinski, Wojciech Rytter
200 Problems on Languages, Automata, and…
Filip Murlak, Damian Niwinski, … Hardcover R2,096 Discovery Miles 20 960
Quantum Computation (Hardcover): Helmut Bez, Tony Croft
Quantum Computation
Helmut Bez, Tony Croft Hardcover R2,363 Discovery Miles 23 630
PCI Compliance - Understand and Implement Effective PCI Data Security Standard Compliance (Paperback, 5th edition): Branden...
PCI Compliance - Understand and…
Branden Williams, James Adamson Paperback R1,370 Discovery Miles 13 700
Occultism and the Origins of Psychoanalysis - Freud, Ferenczi and the Challenge of Thought Transference (Paperback): Maria...
Occultism and the Origins of…
Maria Pierri Paperback R982 Discovery Miles 9 820
The Less Is More Linear Algebra of Vector Spaces and Matrices (Paperback): Daniela Calvetti, Erkki Somersalo
The Less Is More Linear Algebra of…
Daniela Calvetti, Erkki Somersalo Paperback R1,866 Discovery Miles 18 660
Algorithm Design: A Methodological Approach - 150 problems and detailed solutions (Paperback): Patrick Bosc, Marc Guyomard,...
Algorithm Design: A Methodological…
Patrick Bosc, Marc Guyomard, … Paperback R1,617 Discovery Miles 16 170
Computational Optimization - Success in Practice (Hardcover): Vladislav Bukshtynov
Computational Optimization - Success in…
Vladislav Bukshtynov Hardcover R2,658 Discovery Miles 26 580
Advanced Problem Solving Using Maple - Applied Mathematics, Operations Research, Business Analytics, and Decision Analysis...
Advanced Problem Solving Using Maple…
William P. Fox, William Bauldry Paperback R1,410 Discovery Miles 14 100
Introduction To Linear Algebra - Computation, Application, and Theory (Hardcover): Mark J. Debonis
Introduction To Linear Algebra…
Mark J. Debonis Hardcover R2,561 R2,154 Discovery Miles 21 540

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