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
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY
By: Dov M. Gabbay
Format: Paperback

List price: £18.50


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

ISBN 10: 1904987397
ISBN 13: 9781904987390
Publisher: COLLEGE PUBLICATIONS
Pub. date: 17 August, 2007
Series: Texts in Computer Science v. 9
Pages: 584
Illustrations: black & white illustrations
Publication: UK
Imprint: College Publications
Returns: Non-returnable
Some other items by this author:
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)
ANALYSIS AND SYNTHESIS OF LOGICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (PB)
APPROACHES TO LEGAL RATIONALITY (HB)
APPROACHES TO LEGAL RATIONALITY (PB)
BELIEF CHANGE (PB)
BRITISH LOGIC IN THE NINETEENTH CENTURY (HB)
COMPILED LABELLED DEDUCTIVE SYSTEMS (HB)
COMPUTATIONAL LOGIC (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (PB)
DYNAMIC SYNTAX (HB)
DYNAMIC SYNTAX (PB)
ELEMENTARY LOGIC WITH APPLICATIONS: A PR (PB)
FIBRING LOGICS (HB)
FRONTIERS OF COMBINING SYSTEMS (HB)
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE (HB)
GENERAL PHILOSOPHY OF SCIENCE: FOCAL ISSUES (HB)
GOAL-DIRECTED PROOF THEORY (HB)
GOAL-DIRECTED PROOF THEORY (PB)
GREEK, INDIAN AND ARABIC LOGIC (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 (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)
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)
LABELLED DEDUCTION (HB)
LABELLED DEDUCTION (PB)
LABELLED DEDUCTIVE SYSTEMS (HB)
LOGIC AND THE MODALITIES IN THE TWENTIETH CENTURY (HB)
LOGIC COLLOQUIUM 92 (HB)
LOGIC COLLOQUIUM 92 (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)
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 (HB)
META-LOGICAL INVESTIGATIONS IN ARGUMENTATION NETWORKS (PB)
NEURAL-SYMBOLIC COGNITIVE REASONING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (PB)
NEURAL-SYMBOLIC LEARNING SYSTEMS (PB)
PHILOSOPHY OF ANTHROPOLOGY AND SOCIOLOGY (HB)
PHILOSOPHY OF BIOLOGY (HB)
PHILOSOPHY OF COMPLEX SYSTEMS (HB)
PHILOSOPHY OF ECOLOGY (HB)
PHILOSOPHY OF INFORMATION (HB)
PHILOSOPHY OF LINGUISTICS (HB)
PHILOSOPHY OF MATHEMATICS
PHILOSOPHY OF MATHEMATICS (HB)
PHILOSOPHY OF MEDICINE (HB)
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE (HB)
PHILOSOPHY OF STATISTICS (HB)
PHILOSOPHY OF TECHNOLOGY AND ENGINEERING SCIENCES (HB)
PRACTICAL REASONING (PB)
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)
REACTIVE KRIPKE SEMANTICS (HB)
REACTIVE KRIPKE SEMANTICS (PB)
RESOLUTION OF CONFLICTS AND NORMATIVE LOOPS IN THE TALMUD (HB)
REVISION, ACCEPTABILITY AND CONTEXT (HB)
REVISION, ACCEPTABILITY AND CONTEXT (PB)
SECOND-ORDER QUANTIFIER ELIMINATION (PB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (HB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (PB)
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY (HB)
SYNTHESIS OF CONCEPTS IN THE TALMUD (HB)
TEMPORAL LOGIC (PB)
TEMPORAL LOGIC: VOLUME 1 (HB)
TEMPORAL LOGIC: VOLUME 2 (HB)
THE MANY VALUED AND NONMONOTONIC TURN IN LOGIC (HB)
THE RISE OF MODERN LOGIC
THE RISE OF MODERN LOGIC: FROM LEIBNIZ TO FREGE (HB)
THE TEXTUAL INFERENCE RULES KLAL UPRAT. HOW THE TALMUD DEFINES SETS (HB)
TRENDS IN BELIEF REVISION AND ARGUMENTATION DYNAMICS (PB)
WHAT IS A LOGICAL SYSTEM? (HB)
WHAT IS NEGATION? (HB)
WHAT IS NEGATION? (PB)

TOP SELLERS IN THIS CATEGORY
ARTCADE - The Book of Classic Arcade Game Art (Extended Edition) (Hardback)
By: Bitmap Books
Bitmap Books
Our Price : £28.49
more details
Micro but Many: an unofficial Micro Machines collection (Hardback)
By: Bitmap Books
Bitmap Books
Our Price : £14.25
more details
Commodore Amiga: A Visual Commpendium (Paperback)
By:
Bitmap Books
Our Price : £28.49
more details
Deep Learning with Python, Second Edition (Paperback / softback)
By: Francois Chollet
Manning Publications
Our Price : £39.59
more details
Learning to Program in Python (Paperback)
By: P. M. Heathcote
PG Online Limited
Our Price : £13.30
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY


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

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
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
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
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

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket