Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 30, 2014 | History

Automated deduction in classical and non-classical logics 1 edition

By unknown author
Cover of: Automated deduction in classical and non-classical logics |

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Ack! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Automated Deduction in Classical and Non-Classical Logics
Selected Papers (Lecture Notes in Computer Science)
1 edition

Published March 15, 2000 by Springer .
Written in English.

First Sentence

Higher-order theorem proving (e.g. higher-order resolution [1, 17, 18]) is different from first-order theorem proving in several respects.

The Physical Object

Format
Paperback
Number of pages
299
Dimensions
9.3 x 6.1 x 0.5 inches
Weight
10.4 ounces

ID Numbers

Open Library
OL9582619M
Internet Archive
automateddeducti00cafe_123
ISBN 10
3540671900
ISBN 13
9783540671909
Goodreads
7142581

History Created July 30, 2014 · 1 revision Download catalog record: RDF / JSON

July 30, 2014 Created by ImportBot import new book