Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings / Nicola Olivetti, Ashish Tiwari (eds.)

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduct...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	IJCAR (Conference) Coimbra, Portugal)
Other Authors:	Olivetti, Nicola (Editor), Tiwari, Ashish, 1973- (Editor)
Other title:	IJCAR 2016.
Format:	Conference Proceeding eBook
Language:	English
Published:	Switzerland : Springer, 2016.
Series:	Lecture notes in computer science ; 9706. LNCS sublibrary. Artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Computer logic > Congresses. Automatic theorem proving. Computer logic. Conference papers and proceedings.