Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (1st ed. 2019) (Lecture Notes in Computer Science #11716)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
- Copyright:
- 2019
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783030294366
- Related ISBNs:
- 9783030294359
- Publisher:
- Springer International Publishing
- Date of Addition:
- 09/01/19
- Copyrighted By:
- Springer
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Pascal Fontaine
Reviews
Other Books
- by Pascal Fontaine
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy