Automated Deduction in Classical and Non-Classical Logics
Selected Papers
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540465089
- ISBN-103540465081
- Better World Books9783540465089
- Open LibraryOL37394722M
Classifications
- LCCQ334-342
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!