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

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

Logic for programming and automated reasoning 1 edition

By unknown author
Cover of: Logic for programming and automated reasoning by

Read

Buy

Amazon $3.51 (used)
Better World Books $3.48 (used)

Lists

You could add Logic for programming and automated reasoning to a list if you log in.
Cor blimey. 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?

Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
1 edition

Published September 24, 1999 by Springer .
Written in English.

First Sentence

A notation often used in informal mathematical proofs is ellipsis (the dots in a1 + ... + an).

The Physical Object

Format
Paperback
Number of pages
397
Dimensions
9.3 x 6.1 x 0.9 inches
Weight
1.2 pounds

ID Numbers

Open Library
OL9386010M
Internet Archive
logicforprogramm00ganz
ISBN 10
3540664920
ISBN 13
9783540664925
Library Thing
6555953
Goodreads
2964167

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

July 29, 2014 Created by ImportBot import new book