pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: HANDBOOK OF AUTOMATED REASONING
Volume: Volume I
By: Andrei Voronkov, A. Robinson
Format: Hardback

List price: £145.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 0444829490
ISBN 13: 9780444829498
Publisher: ELSEVIER SCIENCE & TECHNOLOGY
Pub. date: 21 June, 2001
Series: Handbook of Automated Reasoning
Pages: 996
Description: 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.
Synopsis: 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.
Publication: US
Imprint: North-Holland
Returns: Non-returnable
Some other items by this author:
A CONCISE HISTORY OF THE INDEPENDENT UNI (PB)
AUTOMATED DEDUCTION - CADE-18 (PB)
COMPUTER SCIENCE - THEORY AND APPLICATIONS (PB)
EMPLOYEE PARTICIPATION, FIRM PERFORMANCE AND SURVIVAL (HB)
GUIDELINES FOR COORDINATED HUMAN AND ANIMAL BRUCELLOSIS SURVEILLANCE (PB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
INORGANIC CHEMISTRY (PB)
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE , AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC PROGRAMMING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
NARRATING THE PAST (HB)
NARRATING THE PAST (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
POTENTIAL TECHNIQUES FOR THE ASSESSMENT OF JOINTS IN WATER DISTRIBUTION PIPELINES (PB)
PRINCETON REVIEW: WORD SMART (AUD)
PROGRAMMING LOGICS (PB)
REPORT OF A CONFERENCE ON EDUCATION FOR MUTUAL UNDERSTANDING (PB)
RESEARCH IN ACCOUNTING REGULATION (HB)
REWRITING TECHNIQUES AND APPLICATIONS (PB)
THE FUTURE OF GEOLOGICAL MODELLING IN HYDROCARBON DEVELOPMENT (HB)
THE REPAIR OF VEHICLE BODIES (HB)
THE REPAIR OF VEHICLE BODIES (PB)
THE WORLD FOOD CRISIS AND ITS IMPLICATIONS FOR THE FERTILISER INDUSTRY (PB)
WING THEORY (PB)

TOP SELLERS IN THIS CATEGORY
Essential Maths Skills for AS/A Level Computer Science (Paperback)
Hodder Education
Our Price : £11.37
more details
An Introduction to Quantum Computing (Paperback)
Oxford University Press
Our Price : £53.38
more details
MATLAB Deep Learning (Paperback)
APress
Our Price : £48.12
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £43.99
more details
A Dictionary of Computer Science (Paperback)
Oxford University Press
Our Price : £10.94
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket