Chapters on the modern geometry of the point, line, and circle : being the substance of lectures delivered in the University of Dublin to the candidates for honors of the first year in arts Q Science
Chapters on the modern geometry of the point, line, and circle : being the substance of lectures delivered in the University of Dublin to the candidates for honors of the first year in arts Q Science
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings Q Science
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings Q Science
