Theorem proving in higher order logics : 22nd international conference proceedings, TPHOLs, Munich, Germany, Aug. 17-20, 2009
Theorem proving in higher order logics : 22nd international conference proceedings, TPHOLs, Munich, Germany, Aug. 17-20, 2009
-
- Berlin Springer 2009
- xi,515 p. 23.5 cm
- Lecture notes in computer science ; 5674 .
978-3-642-03358-2
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:22:09
978-3-642-03358-2
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:22:09