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 29, 2014 | History

Logic for programming and automated reasoning 1 edition

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

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book

Amazon
Better World Books $18.48 (used)

Oh! The humanity! 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