Automated Deduction - CADE 27Author :
Paperback
Published : Wednesday 21 August 2019
Description
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.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783030294359.jpg)
by
Paperback
21 Aug 2019
Software Engineering
€81.89
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780674295414.jpg)
by
Hardback
31 May 2024
Philosophy
€23.34
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780813233840.jpg)
by
Paperback
30 Jun 2021
Roman Catholicism, Roman Catholic Church
€35.04
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780367180201.jpg)
by
Paperback
15 Oct 2020
Philosophy
€54.98
Extended stock – Dispatch 5-7 days
Reviews