5TH CONFERENCE ON AUTOMATED DEDUCTION by Wolfgang Bibel (Editor), Robert Kowalski (Editor) ( 9783540100096 )

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 - 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 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

Mathematical Proofs: Pearson New International Edition (Paperback)

By: Gary Chartrand, Albert D. Polimeni, Ping Zhang

Pearson Education Limited

Our Price : £65.67

To Mock a Mockingbird: and Other Logic Puzzles (Paperback)

By: Raymond Smullyan

Oxford University Press

Our Price : £9.48

Logic: A Very Short Introduction (Paperback)

By: Graham Priest

Oxford University Press

Our Price : £7.29

Logic (Paperback)

By: Wilfrid Hodges

Penguin Books Ltd

Our Price : £8.02

BROWSE FOR BOOKS IN RELATED CATEGORIES

MATHEMATICS AND SCIENCE

mathematics

mathematical foundations

mathematical logic