Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
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:
5TH CONFERENCE ON AUTOMATED DEDUCTION
LES ARCS, FRANCE, JULY 8-11, 1980
Volume:
v. 87
By:
Wolfgang Bibel (Editor), Robert Kowalski (Editor)
Format:
Paperback
List price:
£67.99
We currently do not stock this item, please contact the publisher directly for further information.
ISBN 10:
3540100091
ISBN 13:
9783540100096
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date:
1 June, 1980
Edition:
1980 ed.
Series:
Lecture Notes in Computer Science v. 87
Pages:
396
Illustrations:
biography
Publication:
Germany
Imprint:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns:
Returnable
Some other items by this author:
ARTIFICIAL INTELLIGENCE EINE EINFUHRUNG
AUSGEZEICHNETE INFORMATIKDISSERTATIONEN 1996
AUTOMATED DEDUCTION
AUTOMATED DEDUCTION (HB)
AUTOMATED DEDUCTION (HB)
AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME I FOUNDATIONS - CALCULI AND METHODS VOLUME II SYSTEMS AND IMPLEMENTATION TECHNIQUES VOLUME III APPLICATIONS (HB)
AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME I FOUNDATIONS - CALCULI AND METHODS VOLUME II SYSTEMS AND IMPLEMENTATION TECHNIQUES VOLUME III APPLICATIONS (PB)
AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME I FOUNDATIONS - CALCULI AND METHODS VOLUME II SYSTEMS AND IMPLEMENTATION TECHNIQUES VOLUME III APPLICATIONS (PB)
AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME I FOUNDATIONS - CALCULI AND METHODS VOLUME II SYSTEMS AND IMPLEMENTATION TECHNIQUES VOLUME III APPLICATIONS (PB)
AUTOMATED THEOREM PROVING (PB)
AUTOMATED THEOREM PROVING (PB)
CLI BOOK (PB)
COMPUTATIONAL LOGIC AND HUMAN THINKING
COMPUTATIONAL LOGIC AND HUMAN THINKING (HB)
COMPUTATIONAL LOGIC AND HUMAN THINKING (PB)
DATA MINING IM PRAKTISCHEN EINSATZ (PB)
DEDUKTIVE DATENBANKEN (PB)
EINFUHRUNG IN EVOLUTIONARE ALGORITHMEN
FUNDAMENTALS IN ARTIFICIAL INTELLIGENCE (PB)
FUNDAMENTALS OF ARTIFICIAL INTELLIGENCE (PB)
FUNDAMENTALS OF ARTIFICIAL INTELLIGENCE : AN ADVANC (PB)
FUZZY THEORIE UND STOCHASTIK (PB)
GREAT TERROR & FINAL SOLUTION (HB)
GRUNDLAGEN ZUR NEUROINFORMATIK UND NEUROBIOLOGIE (PB)
HANDBUCH WEB MINING IM MARKETING (PB)
INFORMATION MINING (PB)
JAYCEE: A HEROINE''S JOURNEY -: A (PB)
KUNSTLICHE INTELLIGENZ (PB)
LEHREN VOM LEBEN
LOGIC FOR PROBLEM SOLVING, REVISITED (PB)
MATHEMATICAL METHODS OF SPECIFICATION AND SYNTHESIS OF SOFTWARE SYSTEMS (PB)
NEURONALE NETZE (PB)
PARADOX IN THE CONTRIVANCE OF HUMAN DEVELOPMENT
SEHEN UND DIE VERARBEITUNG VISUELLER INFORMATION
STUDIEN- UND FORSCHUNGSFUHRER KUNSTLICHE INTELLIGENZ (PB)
TAPSOFT '87: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, PISA, ITALY, MARCH 1987 (PB)
THE REVOLUTIONARY CHOLESTEROL BREAKTHROUGH (HB)
THE SAP R/3 GUIDE TO EDI AND INTERFACES (PB)
WISSENSBASIERTE SYSTEME (PB)
WISSENSREPRASENTATION UND INFERENZ (PB)
YOUR FAT CAN MAKE YOU THIN (PB)
TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems?
(Paperback)
By:
Alex Bellos
Guardian Faber Publishing
Our Price :
£8.02
Logic: A Very Short Introduction
(Paperback)
By:
Graham Priest
Oxford University Press
Our Price :
£6.56
Introducing Infinity
(Paperback)
By:
Brian Clegg, Oliver Pugh (Illus)
Icon Books Ltd
Our Price :
£6.56
Logic
(Paperback)
By:
Wilfrid Hodges
Penguin Books Ltd
Our Price :
£8.02
Godel's Proof
(Paperback)
By:
Ernest Nagel, James R. Newman, Douglas R. Hofstadter (Foreword)
New York University Press
Our Price :
£11.04
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
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT
