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 PRACTICAL LOGIC AND AUTOMATED REASONING
By: John Harrison
Format: Electronic book text

List price: £135.00


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

ISBN 10: 0511576439
ISBN 13: 9780511576430
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 30 September, 2009
Description: A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Synopsis: The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.
Illustrations: 10 tables 155 exercises
Publication: UK
Imprint: Cambridge University Press (Virtual Publishing)
Returns: Non-returnable
Some other items by this author:
"OVER THE SUMMER SEA,"
"OVER THE SUMMER SEA,"
1519 (PB)
1519: A JOURNEY TO THE END OF TIME
1519: A JOURNEY TO THE END OF TIME
A CORPORATE CULTURE OF FREEDOM
A DESCRIPTION CONCERNING SUCH MECHANISM (HB)
A DESCRIPTION CONCERNING SUCH MECHANISM (HB)
A DESCRIPTION CONCERNING SUCH MECHANISM AS WILL AFFORD A NICE, OR TRUE MENSURATION OF TIME
A DESCRIPTION CONCERNING SUCH MECHANISM AS WILL AFFORD A NICE, OR TRUE MENSURATION OF TIME; TOGETHER WITH SOME ACCOUNT OF THE ATTEMPTS FOR THE DISCOVERY OF THE LONGITUDE BY THE MOON
A FIELD GUIDE TO THE BIRDS OF SRI LANKA (HB)
A FIELD GUIDE TO THE BIRDS OF SRI LANKA (PB)
A HISTORY OF MOTOR VEHICLE REGISTRATION IN THE UNITED KINGDOM (PB)
A LETTER TO THE RIGHT HON. HENRY DUNDAS, (HB)
A LETTER TO THE RIGHT HON. HENRY DUNDAS, (PB)
A NARRATIVE OF THE PROCEEDINGS RELATIVE (HB)
A NARRATIVE OF THE PROCEEDINGS RELATIVE TO THE DISCOVERY OF THE LONGITUDE AT SEA; BY MR. JOHN HARRISON'S TIME-KEEPER; SUBSEQUENT TO THOSE PUBLISHED IN THE YEAR 1763.
A PERSUASIVE TO HOLINESS OF LIFE: IN A S (HB)
A PERSUASIVE TO HOLINESS OF LIFE: IN A S (PB)
A THANKSGIVING SERMON FOR DISCOVERY OF THE LATE PHANATICK PLOT, SEPTEMBER 9, 1683 BY JOHN HARRISON ... (1683)
ALADAR'S ADVENTURE
AN ACCOUNT OF THE PROCEEDINGS, IN ORDER (PB)
AN ACCOUNT OF THE PROCEEDINGS, IN ORDER (HB)
AN ANSWER TO DR PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE
AN ANSWER TO DR PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE
AN ANSWER TO DR PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (HB)
AN ANSWER TO DR PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE
AN ANSWER TO DR. PUSEY'S CHALLENGE
AN ANSWER TO DR. PUSEY'S CHALLENGE
AN ANSWER TO DR. PUSEY'S CHALLENGE (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE (VOLUME 1); RESPECTING THE DOCTRINE OF THE REAL PRESENCE, IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (VOLUME 1); IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (VOLUME 2); IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE (VOLUME 2); IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE IN WHICH THE DOCT
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE IN WHICH THE DOCT (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE; IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS HELD BY HIM, ROMAN AND GREEK CATHOLICS, RITUALISTS, AND HISH ANGLO-CATHOLICS, ARE EXAMINED AND SHOWN TO BE CONTRARY TO THE HOL
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE; IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS HELD BY HIM, ROMAN AND GREEK CATHOLICS, RITUALISTS, AND HISH ANGLO-CATHOLICS, ARE EXAMINED AND SHOWN TO BE CONTRARY TO THE HOL (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE; IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS HELD BY HIM, ROMAN AND GREEK CATHOLICS, RITUALISTS, AND HISH ANGLO-CATHOLICS, ARE EXAMINED AND SHOWN VOLUME 1
AN ANSWER TO DR. PUSEY'S CHALLENGE V1: R (HB)
AN ANSWER TO DR. PUSEY'S CHALLENGE V1: R (PB)
AN ANSWER TO DR. PUSEY'S CHALLENGE VOLUME 1
AN ANSWER TO DR. PUSEY'S CHALLENGE, VOL. 1 OF 2
AN ANSWER TO DR. PUSEY'S CHALLENGE; RESPECTING THE DOCTRINE OF THE REAL PRESENCE, IN WHICH THE DOCTRINES OF THE LORD'S SUPPER, AS HELD BY HIM,
AN ANSWER TO DR. PUSEY'S, CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE, VOL. 2 OF 2
AN EXACT AND PERFECT SURVEY AND VIEW OF THE MANOR OF SHEFFIELD WITH OTHER LANDS. BY JOHN HARRISON, 1637 (HB)
ANN BRYANT (PB)
ANNUAL REPORT, 1906 (PB)
ANSWER TO DR. PUSEY''S CHALLENGE RESPECTING THE DOCTRINE OF THE REAL PRESENCE
ARISTOPHANES: FROGS (PB)
BACKGARDEN CHICKENS AND OTHER POULTRY
BACKGARDEN CHICKENS AND OTHER POULTRY (PB)
BELLA THE SQUIRREL (HB)
BELLA THE SQUIRREL (PB)
BELLS AND BELLRINGING
BELLS AND BELLRINGING
BELLS AND BELLRINGING (PB)
BRAND AID (PB)
CAPITALISM SINCE 1945 (PB)
CHANCE OF A LIFETIME (PB)
CHURCHES, SOCIAL CAPITAL & NEW COMMUNITIES
CLOUD ROAD
CLOUD ROAD
CLOUD ROAD
CLOUD ROAD
CLOUD ROAD (PB)
COGNITIVE DEFICITS IN BRAIN DISORDERS
COGNITIVE DEFICITS IN BRAIN DISORDERS
COGNITIVE DEFICITS IN BRAIN DISORDERS
COGNITIVE DEFICITS IN BRAIN DISORDERS
COGNITIVE DEFICITS IN BRAIN DISORDERS
COMPUTER SCIENCE - THEORY AND APPLICATIONS (PB)
DEATH ABOLISH''D FOR ALL BELIEVERS: OR, L (HB)
DEATH ABOLISH''D FOR ALL BELIEVERS: OR, L (PB)
DECORATIN OF METALS (HB)
DECORATIN OF METALS (HB)
DECORATIN OF METALS (PB)
EASY JAMS, CHUTNEYS AND PRESERVES
EASY JAMS, CHUTNEYS AND PRESERVES (PB)
EURIPIDES: BACCHAE (PB)
EURIPIDES: HECUBA (PB)
EURIPIDES: IPHIGENEIA AT AULIS (PB)
EURIPIDES: MEDEA (PB)
FORGOTTEN FOOTPRINTS
FORGOTTEN FOOTPRINTS
FORGOTTEN FOOTPRINTS: LOST STORIES IN THE DISCOVERY OF ANTARCTICA (HB)
FORGOTTEN FOOTPRINTS: LOST STORIES IN THE DISCOVERY OF ANTARCTICA (PB)
FRUIT GROWING MONTH BY MONTH
FRUIT GROWING MONTH BY MONTH (PB)
GOOD FOOD NATURALLY (PB)
HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING (HB)
HIP POCKET SLEAZE (PB)
HOLIDAYS (PB)
HOW TO STOP WORKING AND MAKE A MILLION POUNDS INSTEAD (PB)
HOW TO STORE YOUR HOME GROWN PRODUCE (PB)
HOW TO STORE YOUR HOME GROWN PRODUCE (PB)
HOW TO STORE YOUR HOME GROWN PRODUCE (PB)
HOW TO STORE YOUR HOME-GROWN PRODUCE. JOHN AND VAL HARRISON
IDLE IDOL (HB)
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM
INTERNATIONAL AVIATION AND TERRORISM (HB)
INTERNATIONAL AVIATION AND TERRORISM (PB)
INTO THE AMAZON
INTO THE AMAZON
INTO THE AMAZON
INTO THE AMAZON (PB)
INTRODUCTION TO THE MAMMALS OF SINGAPORE AND MALAYA (HB)
IXORA, A MYSTERY [BY J. HARRISON].
IXORA, A MYSTERY [BY J. HARRISON]....
JONATHAN MOSTOW PRESENTS (PB)
JUDO FOUNDATION SKILLS, A GUIDE FOR BEGINNERS AND PARENTS (PB)
LA CASA SENA (HB)
LETTER TO THE REV. E. B. PUSEY, D. D., O (PB)
LETTER TO THE REV. E.B. PUSEY, D.D.
LETTER TO THE REV. E.B. PUSEY, D.D. (HB)
LETTER TO THE REV. E.B. PUSEY, D.D.; ON HIS UNFAIR TREATMENT OF THE TESTIMONY OF THE FATHERS, CONCERNING THE DOCTRINE OF THE REAL PRESENCE;
LIBRARY OF ISAAC NEWTON (HB)
LOVE YOUR DISEASE (PB)
LOW-COST LIVING
LOW-COST LIVING (PB)
LOW-COST LIVING 2ND EDITION (PB)
LUCK IN THE HEAD (PB)
MAKE YOUR OWN BEER, WINE AND CIDER (PB)
MEGAREGIONS (HB)
MEGAREGIONS (PB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF G (HB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF G (PB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF G (PB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III, OF THESE UNITED KINGDOMS (PB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS (HB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR (HB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR (HB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR (PB)
MEMOIRS OF A TRAIT IN THE CHARACTER OF GEORGE III. OF THESE UNITED KINGDOMS; AUTHENTICATED BY OFFICIAL PAPERS AND PRIVATE LETTERS IN POSSESSION OF THE AUTHOR WITH AN APPENDIX OF ILLUSTRATIVE TRACTS, &C. ABRIDGED FROM THE ORIGINAL WORK IN MANUSCRIPT
NAHASH REDIVIVUS IN A LETTER FROM THE PARLIAMENT OF SCOTLAND, DIRECTED TO THE HONORABLE WILLIAM LENTHAL, SPEAKER OF THE HOUSE OF COMMONS EXAMINED AND ANSWERED BY JOHN HARRISON. (1649)
NEIMAN MARCUS COOKS (HB)
NEW WELSH REVIEW (NEW WELSH READER 111, SUMMER 2016): NEW WELSH READER 111, SUMMER 2016 (PB)
NITROGEN POLLUTION AND GREENHOUSE GASES IN YAQUI VALLEY STREAMS
NOT QUITE FAMOUS (PB)
NWR
NWR (PB)
OBSERVATIONS ON THE CURE OF THE DRY BELL (HB)
OBSERVATIONS ON THE CURE OF THE DRY BELL (PB)
OFF THE MAP (PB)
OFFICE PROCEDURES 4TH EDITION - PAPER (PB)
OLD BRITISH BEERS AND HOW TO MAKE THEM (PB)
ON THE PRIMITIVE MODE OF MAKING BISHOPS
ON THE PRIMITIVE MODE OF MAKING BISHOPS
ON THE PRIMITIVE MODE OF MAKING BISHOPS; BEING AN ENQUIRY AS TO WHETHER THEY WERE CREATED CHIEFLY BY THOSE OVER WHOM THEY WERE TO PRESIDE, OR
OURE TOUNIS COLLEDGE
OURE TOUNIS COLLEDGE
OURE TOUNIS COLLEDGE
OURE TOUNIS COLLEDGE
OURE TOUNIS COLLEDGE
OURE TOUNIS COLLEDGE (HB)
OURE TOUNIS COLLEDGE (HB)
OURE TOUNIS COLLEDGE (HB)
OURE TOUNIS COLLEDGE (PB)
OURE TOUNIS COLLEDGE: SKETCHES OF THE HI (PB)
OURE TOUNIS COLLEDGE; SKETCHES OF THE HISTORY OF THE OLD COLLEGE OF EDINBURGH, WITH AN APPENDIX OF HISTORICAL DOCUMENTS
OUT OF THE DARKNESS (PB)
OVER THE SUMMER SEA (HB)
OVER THE SUMMER SEA (PB)
OVER THE SUMMER SEA (CLASSIC REPRINT)
OVER THE SUMMER SEA (PB)
OVER THE SUMMER SEA,
OVER THE SUMMER SEA, (HB)
OXFORD THEOLOGY
PATHOLOGY AND TREATMENT OF VENEREAL DISE (PB)
PATHOLOGY AND TREATMENT OF VENEREAL DISEASES, COMPRISING THE MOST RECENT DOCTRINES ON THE SUBJECT
PATHOLOGY AND TREATMENT OF VENEREAL DISEASES, COMPRISING THE MOST RECENT DOCTRINES ON THE SUBJECT (HB)
PATHOLOGY AND TREATMENT OF VENEREAL DISEASES, COMPRISING THE MOST RECENT DOCTRINES ON THE SUBJECT (HB)
PATHOLOGY AND TREATMENT OF VENEREAL DISEASES, COMPRISING THE MOST RECENT DOCTRINES ON THE SUBJECT (PB)
PATHOLOGY AND TREATMENT OF VENEREAL DISEASES, COMPRISING THE MOST RECENT DOCTRINES ON THE SUBJECT...
PATTERNS AND PATRONS (PB)
PEN AND WASH (PB)
PERSONAL PREJUDICE IN THE USE OF ENGLISH
POLICE MISCONDUCT (PB)
PRINCIPLES OF MR. HARRISON''S TIME-KEEPER
PRINCIPLES OF MR. HARRISON''S TIME-KEEPER (HB)
PRINCIPLES OF MR. HARRISON''S TIME-KEEPER (HB)
PRINCIPLES OF MR. HARRISON''S TIME-KEEPER (PB)
REBIRTH OF A PALACE (HB)
REMARKS ON A PAMPHLET LATELY PUBLISHED B (HB)

TOP SELLERS IN THIS CATEGORY
Clean Architecture (Paperback)
Pearson Education (US)
Our Price : £24.74
more details
Computer Systems: A Programmer's Perspective (Paperback)
Pearson Education Limited
Our Price : £73.07
more details
The Book of Circles (Hardback)
Princeton Architectural Press
Our Price : £19.70
more details
Practical Reverse Engineering (Paperback)
John Wiley & Sons Inc
Our Price : £37.80
more details
Design Recipes for FPGAs (Paperback)
Elsevier Science & Technology
Our Price : £41.39
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer hardware & operating systems
 computer architecture & logic design


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