Theorem proving in higher order logics 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings - TPHOLs 2009 (2009 : Munich, Germany); Berghofer, Stefan; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Automatic theorem proving -- Congresses; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Mathematics of Computing; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Models and Principles