ID:DA10117616
Conference on Theorem Proving in Higher Order Logics, International
International Conference, TPHOLs
TPHOLs
TPHOLs '96
TPHOLs '97
同姓同名の著者を検索
Klaus Schneider, Jens Brandt (eds.)
Springer c2007 Lecture notes in computer science 4732
所蔵館6館
Joe Hurd, Tom Melham (eds.)
Springer c2005 Lecture notes in computer science 3603
所蔵館12館
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Springer c2004 Lecture notes in computer science 3223
所蔵館20館
David Basin, Burkhart Wolff (eds.)
Springer c2003 Lecture notes in computer science 2758
所蔵館25館
Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
Springer c2002 Lecture notes in computer science 2410
所蔵館32館
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
所蔵館33館
Yves Bertot ... [et al.] (eds.)
Springer c1999 Lecture notes in computer science 1690
所蔵館39館
Jim Grundy, Malcolm Newey (eds.)
Springer c1998 Lecture notes in computer science 1479
所蔵館43館
Elsa L. Gunter, Amy Felty (eds.)
Springer c1997 Lecture notes in computer science 1275
所蔵館52館
J. von Wright, J. Grundy, J. Harrison, (eds.)
Springer c1996 Lecture notes in computer science 1125
所蔵館58館