Name: Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (in English)
Price: 85.25 USD
Availability: InStock
Author: Fontaine, Pascal
ISBN: 9783030294359

portada Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (in English)

Type

Physical Book

Publisher

Springer

Author

Fontaine, Pascal

Language

Inglés

Pages

582

Format

Paperback

Dimensions

23.4 x 15.6 x 3.1 cm

Weight

0.84 kg.

ISBN13

9783030294359

Synopsis "Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (in English)"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (in English) - Fontaine, Pascal

Synopsis "Automated Deduction - Cade 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (in English)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery