Theorem proving in higher order logics : 21st international conference proceedings, TPHOLs, Montreal, Canada, Aug. 18-21, 2008
Theorem proving in higher order logics : 21st international conference proceedings, TPHOLs, Montreal, Canada, Aug. 18-21, 2008
-
- Berlin Springer 2008
- x,321 p. 23.5 cm
- Lecture notes in computer science ; v.5170 .
978-3-540-71065-3
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:21:08
978-3-540-71065-3
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
681.3:517.1The:21:08