Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /

অনুযায়ী TPHOLs 2007, Schneider, Klaus., Brandt, Jens.
প্রকাশিত 2007.