Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Richard J. Boulton, Paul B. Jackson (eds.). by TPHOLs (14th : 2001 : Edinburgh, Scotland) Boulton, Richard J, 1967- Jackson, Paul B, 1962- Series: Lecture notes in computer science ; 2152. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.). by CAV (Conference) (22nd : 2010 : Edinburgh, Scotland) Touili, Tayssir Cook, Byron Jackson, Paul B, 1962- Series: Lecture notes in computer science ; 6174. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2010 Other title: CAV 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search