Related resources
Full-text held externally
Search for item elsewhere
University researcher(s)
Academic department(s)
Proceedings of the 19th Automated Reasoning Workshop
Renate A. Schmidt; Fabio Papacchini
19th Automated Reasoning Workshop; 02 Apr 2012-04 Apr 2012; Manchester. Manchester: School of Computer Science, The University of Manchester; 2012.
Access to files
- FULL-TEXT.PDF (pdf)
Abstract
This report contains the proceedings of The 19th Automated Reasoning Workshop (ARW2012). The workshop was held at the University of Manchester from 2 to 4 April 2012.ARW provides an informal forum for the automated reasoning community to discussrecent work, new ideas and applications, and current trends. It aims to bring togetherresearchers from all areas of automated reasoning in order to foster links and facilitatecross-fertilisation of ideas among researchers from various disciplines, from theoreticians,from implementers and from users of automated reasoning methodologies. Since1994, when it was held in Leeds as part of the 1994 AISBWorkshop and Tutorial Series,ARW has been organised on an annual basis.
Keyword(s)
Bibliographic metadata
- ARW 2012 Web Site http://arw2012.cs.man.ac.uk/