Automata, Languages and Programming: 23rd International Colloquium, Icalp ,96 Paderborn, Germany, July 8-12, 1996
Proceedings (Lecture Notes in Computer Science)
Our rough guess is there are 170,000 words in this book.
At a pace averaging 250 words per minute, this book will take 11 hours and 20 minutes to read. With a half hour per day, this will take 23 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Contributions
- F. Meyer Auf Der Heide (Editor) - Contributor
- B. Monien (Editor) - Contributor
Publication
1996-01-15 - Springer-Verlag Telos
Language
English
Word Count
170,000 words, Guess
Page Count
680 pages
Physical Format
Paperback
Identifiers
- Open LibraryOL9529267M
- ISBN-139783540614401
- ISBN-103540614400
- OCLC Control Number35188623
- OCLC Control Numberautomatalanguage00heid
and 2 more
- Goodreads5081041
- LibraryThing8534756
Classifications
- LCCQA267 .I23 1996
First Sentence
Saturation is one of the major techniques for automated theorem proving in first-order logic.
Subjects
Topics
Other Editions
- Automata, Languages and Programming: 23rd International Colloquium, Icalp ,96 Paderborn, Germany, July 8-12, 1996 : Proceedings (Lecture Notes in Computer Science)
Similar Books
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!