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: COMPUTATIONAL LOGIC
Volume: Volume 9
By: Jorg H. Siekmann (Editor), Dov M. Gabbay (Editor), John Woods (Editor)
Format: Hardback

List price: £187.00
Our price: £168.30
Discount:
10% off
You save: £18.70
ISBN 10: 0444516247
ISBN 13: 9780444516244
Availability: This item will be printed on demand and will usually be dispatched within 10 days.
 Delivery rates
Stock: Currently 0 available
Publisher: ELSEVIER SCIENCE & TECHNOLOGY
Pub. date: 28 November, 2014
Series: Handbook of the History of Logic
Pages: 736
Synopsis: Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated. Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: "Calculemus? . The Dartmouth Conference in 1956 - generally considered as the birthplace of artificial intelligence - raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.
Publication: US
Imprint: North-Holland
Returns: Returnable
Some other items by this author:
"FREEMASONARY" AND RITUAL WORK (PB)
10 MINUTE GUIDE TO TEAMS AND TEAMWORK (PB)
A NEW APPROACH TO QUANTUM LOGIC (PB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (HB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (PB)
A PRACTICAL LOGIC OF COGNITIVE SYSTEMS (HB)
ABDUCTIVE REASONING AND LEARNING (HB)
ABDUCTIVE REASONING AND LEARNING (PB)
ADVANCES IN TEMPORAL LOGIC (HB)
ADVANCES IN TEMPORAL LOGIC (PB)
AGENDA RELEVANCE: A STUDY IN FORMAL PRAGMATICS (HB)
AMERICAN SOCIETY FOR TRAINING AND DEVELOPMENT TRAINING AND PERFORMANCE YEARBOOK (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (PB)
APPROACHES TO LEGAL RATIONALITY (HB)
APPROACHES TO LEGAL RATIONALITY (PB)
ARGUMENT (PB)
ARISTOTLE'S EARLIER LOGIC
ASIA PACIFIC BUSINESS TRAVEL GUIDE (PB)
AUTOMATED DEDUCTION (PB)
BELIEF CHANGE (PB)
BLACK MARIGOLDS (HB)
BLACK MARIGOLDS (PB)
BOYS WHO HAVE ABUSED
BOYS WHO HAVE ABUSED (PB)
BOYS WHO HAVE ABUSED (PB)
BRITISH LOGIC IN THE NINETEENTH CENTURY
BRITISH LOGIC IN THE NINETEENTH CENTURY (HB)
COMPILED LABELLED DEDUCTIVE SYSTEMS (HB)
COMPROMISE (PB)
COMPUTATIONAL LOGIC
COMPUTATIONAL METHODS FOR THE ATMOSPHERE AND THE OCEANS
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (PB)
CULLIGAN''S WALK (PB)
DUNE (HB)
DYNAMIC SYNTAX (HB)
DYNAMIC SYNTAX (PB)
EARLY WESTERN TRAVELS
EARLY WESTERN TRAVELS (HB)
EARLY WESTERN TRAVELS (PB)
EARLY WESTERN TRAVELS: COMPRISING, I. JO (HB)
ERRORS OF REASONING. NATURALIZING THE LOGIC OF INFERENCE (PB)
FALLACIES (HB)
FALLACIES (PB)
FIBRING LOGICS (HB)
FORENSIC GROUP PSYCHOTHERAPY
FORENSIC GROUP PSYCHOTHERAPY
FORENSIC GROUP PSYCHOTHERAPY (PB)
FRONTIERS OF COMBINING SYSTEMS (HB)
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE (HB)
GAMBLING ADDICTION EXPLAINED.
GENERAL PHILOSOPHY OF SCIENCE: FOCAL ISSUES (HB)
GOAL-DIRECTED PROOF THEORY (HB)
GOAL-DIRECTED PROOF THEORY (PB)
GOD IS IN THE HOUSE
GREEK, INDIAN AND ARABIC LOGIC
GREEK, INDIAN AND ARABIC LOGIC (HB)
GROWTH OF TELECOMMUNICATION SERVICES
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 1: LOGIC FOUNDATIONS (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 2: DEDUCTION METHODOLOGIES (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 3: NONMONOTONIC REASONING AND UNCERTAIN REASONING (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 5: LOGIC PROGRAMMING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 3. SEMANTIC STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 4. SEMANTIC MODELLING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 5. ALGEBRAIC AND LOGICAL STRUCTURES (HB)
HANDBOOK OF PARACONSISTENCY (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES (HB)
HANDBOOK OF TABLEAU METHODS (HB)
HANDBOOK OF TABLEAU METHODS (PB)
HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE (HB)
HUMAN SURVIVABILITY IN THE 21ST CENTURY (PB)
INCONSISTENCY ROBUSTNESS
INDUCTIVE LOGIC
INDUCTIVE LOGIC (HB)
INTERPOLATION AND DEFINABILITY (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (PB)
IS LEGAL REASONING IRRATIONAL? AN INTROD (PB)
LABELLED DEDUCTION (HB)
LABELLED DEDUCTION (PB)
LABELLED DEDUCTIVE SYSTEMS (HB)
LOGIC
LOGIC AND THE MODALITIES IN THE TWENTIETH CENTURY (HB)
LOGIC COLLOQUIUM 92 (HB)
LOGIC COLLOQUIUM 92 (PB)
LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY (PB)
LOGIC FROM RUSSELL TO CHURCH
LOGIC FROM RUSSELL TO CHURCH (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (PB)
LOGIC: A HISTORY OF ITS CENTRAL CONCEPTS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (PB)
LOGIQUE DYNAMIQUE DE LA FICTION. POUR UNE APPROCHE DIALOGIQUE (PB)
LOGOS AND LANGUAGE (PB)
MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC I (PB)
MEDIAEVAL AND RENAISSANCE LOGIC
MEDIAEVAL AND RENAISSANCE LOGIC (HB)
META-LOGICAL INVESTIGATIONS IN ARGUMENTATION NETWORKS (PB)
MULTIDIMENSIONAL SIGNAL, IMAGE, AND VIDEO PROCESSING AND CODING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (PB)
NEURAL-SYMBOLIC LEARNING SYSTEMS (PB)
NEW TECHNOLOGY FOR OCEAN SCIENCE (PB)
OCEAN FORECASTING (HB)
OCEAN FORECASTING (PB)
PARADOX AND PARACONSISTENCY
PARADOX AND PARACONSISTENCY (HB)
PARADOX AND PARACONSISTENCY (PB)
PEACE IN MY TIME? (PB)
PHILOSOPHY OF ANTHROPOLOGY AND SOCIOLOGY (HB)
PHILOSOPHY OF BIOLOGY (HB)
PHILOSOPHY OF COMPLEX SYSTEMS
PHILOSOPHY OF COMPLEX SYSTEMS (HB)
PHILOSOPHY OF ECOLOGY
PHILOSOPHY OF ECOLOGY (HB)
PHILOSOPHY OF ECONOMICS
PHILOSOPHY OF INFORMATION (HB)
PHILOSOPHY OF LINGUISTICS
PHILOSOPHY OF LINGUISTICS (HB)
PHILOSOPHY OF MATHEMATICS
PHILOSOPHY OF MATHEMATICS (HB)
PHILOSOPHY OF MEDICINE
PHILOSOPHY OF MEDICINE (HB)
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE (HB)
PHILOSOPHY OF STATISTICS
PHILOSOPHY OF STATISTICS (HB)
PHILOSOPHY OF TECHNOLOGY AND ENGINEERING SCIENCES (HB)
PRACTICAL REASONING (PB)
PRINCE OF WALES
PRINCE OF WALES (HB)
PROOF THEORY FOR FUZZY LOGICS (PB)
QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING (PB)
QUANTIFICATION IN NONCLASSICAL LOGIC
QUANTIFICATION IN NONCLASSICAL LOGIC (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (PB)
RADIO DIALOGS II (PB)
RAMASES SPOKE (PB)
REACTIVE KRIPKE SEMANTICS (HB)
REACTIVE KRIPKE SEMANTICS (PB)
REVISION, ACCEPTABILITY AND CONTEXT (HB)
REVISION, ACCEPTABILITY AND CONTEXT (PB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (HB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (PB)
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY

TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems? (Paperback)
Guardian Faber Publishing
Our Price : £8.02
more details
Logic (Paperback)
Penguin Books Ltd
Our Price : £8.02
more details
To Mock a Mockingbird: and Other Logic Puzzles (Paperback)
Oxford University Press
Our Price : £9.48
more details
Logic: A Very Short Introduction (Paperback)
Oxford University Press
Our Price : £7.29
more details
Set Theory (Paperback)
College Publications
Our Price : £16.74
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics
 mathematical foundations
 mathematical logic


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