Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Automated Deduction (27th : 2019 : Natal, Brazil)
Imprint:	Cham : Springer, [2019] ©2019
Description:	1 online resource : illustrations (some color)
Language:	English
Series:	Lecture notes in artificial intelligence, 0302-9743 ; 11716 LNCS sublibrary. SL 7, Artificial intelligence Lecture notes in computer science ; 11716. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence.
Subject:	Automatic theorem proving -- Congresses. Logic, Symbolic and mathematical -- Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Conference papers and proceedings. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11938836

Hidden Bibliographic Details
Other authors / contributors:	Fontaine, Pascal (Professor of Computer Science), editor.
ISBN:	9783030294366 3030294366 9783030294359 3030294358 9783030294359 9783030294373 3030294374
Digital file characteristics:	text file PDF
Notes:	Includes bibliographical references and index. Online resource; title from PDF title page (SpringerLink, viewed September 11, 2019).
Summary:	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.
Other form:	Printed edition: 9783030294359 Printed edition: 9783030294373
Standard no.:	10.1007/978-3-030-29436-6

Similar Items