Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings


TPHOLs 2004
Bok Engelsk 2004

Detaljer

Bibliotek som har denne