Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011

Peter Höfner, Annabelle McIver, Georg Struth, editors, Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. Volume 760 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

Conference: ate

Abstract

Abstract is missing.

Table of Contents