Vol-1635
urn:nbn:de:0074-1635-7




PAAR 2016
Practical Aspects of Automated Reasoning


Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning
co-located with International Joint Conference on Automated Reasoning (IJCAR 2016)

Coimbra, Portugal, July 2nd, 2016.


Edited by

Pascal Fontaine, Loria, INRIA, University of Lorraine, France
Stephan Schulz, DHBW Stuttgart, Germany
Josef Urban, Czech Technical University in Prague, Czech Republic





Table of Contents

We offer a BibTeX file for citing papers of this workshop from LaTeX.


2016-07-11: submitted by Pascal Fontaine, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-11: published on CEUR-WS.org |valid HTML5|