My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
TITLES (1-2 of 2)
Lecture notes in computer science ; 1869. 0302-9743
1
Cover Art
    E-RESOURCE 2000

"Lecture notes in computer science ; 1869. 0302-9743" » Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.).

    TPHOLs 2000 (2000 : Portland, Or.)
Berlin ; Heidelberg ; New York : Springer,        1 online resource (ix, 533 pages) : illustrations. 2000
2
Cover Art
    E-RESOURCE 2000

"Lecture notes in computer science ; 1869. 0302-9743" » Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.).

    TPHOLs 2000 (2000 : Portland, Or.)
Berlin ; Heidelberg ; New York : Springer,        ix, 533 pages : illustrations ; 24 cm. 2000
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove