Jump To : Overview | Titles | Subjects

Boulton, Richard J.

Overview
Works: 1 works in 0 publications in 0 languages
Titles
Theorem proving in higher order logics = 14th international conference, TPHOLs 2001, Edinburgh, Scotland,UK, September 3-6, 2001 : proceedings / by: Boulton, Richard J.; Jackson, Paul B.; SpringerLink (Online service); TPHOLs 2001 ((2001 :) (Language materials, printed)
 
 
Change password
Login