ID:DA10117616
Conference on Theorem Proving in Higher Order Logics, International
International Conference, TPHOLs
TPHOLs
TPHOLs '96
TPHOLs '97
Search authors sharing the same name
Klaus Schneider, Jens Brandt (eds.)
Springer c2007 Lecture notes in computer science 4732
Available at 6 libraries
Joe Hurd, Tom Melham (eds.)
Springer c2005 Lecture notes in computer science 3603
Available at 12 libraries
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Springer c2004 Lecture notes in computer science 3223
Available at 20 libraries
David Basin, Burkhart Wolff (eds.)
Springer c2003 Lecture notes in computer science 2758
Available at 25 libraries
Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
Springer c2002 Lecture notes in computer science 2410
Available at 32 libraries
Richard J. Boulton, Paul B. Jackson (eds.)
Springer c2001 Lecture notes in computer science 2152
Mark Aagaard, John Harrison (eds.)
Springer c2000 Lecture notes in computer science 1869
Available at 33 libraries
Yves Bertot ... [et al.] (eds.)
Springer c1999 Lecture notes in computer science 1690
Available at 39 libraries
Jim Grundy, Malcolm Newey (eds.)
Springer c1998 Lecture notes in computer science 1479
Available at 43 libraries
Elsa L. Gunter, Amy Felty (eds.)
Springer c1997 Lecture notes in computer science 1275
Available at 52 libraries
J. von Wright, J. Grundy, J. Harrison, (eds.)
Springer c1996 Lecture notes in computer science 1125
Available at 58 libraries