Theorem proving in higher order logics [E-Book] : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / ed. by O. Ait Mohamed ...
Ait Mohamed, O., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540710653
9783540710677 (e-book)
Lecture notes in computer science ; 5170
Full Text
Description not available.