Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

TPHOLs 2002
Inngår i serie: Lecture notes in computer science (2410)
Bok · Engelsk · c2002
Vis mer