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

New to the Open Library? — Learn how it works
Last edited by ImportBot
July 30, 2014 | History

Automated deduction, CADE-15 1 edition

By unknown author
Cover of: Automated deduction, CADE-15 by

Read

Buy

Amazon
Better World Books $39.03 (used)

Lists

You could add Automated deduction, CADE-15 to a list if you log in.
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 - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)
1 edition

Published July 31, 1998 by Springer .
Written in English.

First Sentence

Linear logic has been described as a logic of state.

The Physical Object

Format
Paperback
Number of pages
443
Dimensions
9 x 5.9 x 0.8 inches
Weight
1.4 pounds

ID Numbers

Open Library
OL9062657M
Internet Archive
automateddeducti00kirc
ISBN 10
3540646752
ISBN 13
9783540646754
Goodreads
993987

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

July 30, 2014 Created by ImportBot import new book