Theorem proving in higher order logics : 20th international conference proceedings, TPHOLs, Kaiserslautern, Germany, Sept. 10-13, 2007
Theorem proving in higher order logics : 20th international conference proceedings, TPHOLs, Kaiserslautern, Germany, Sept. 10-13, 2007
-
- Berlin Springer- Verlag 2007
- viii,399 p. 23 cm
- Lecture notes in computer science ; v.4732 .
978-3-540-74590-7
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:20:07
978-3-540-74590-7
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:20:07