Jump to main content

yr 〜
yr

Search results 12

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings
Paper図書
Klaus Schneider, Jens Brandt (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Schneider, Klaus Brandt, Jens

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Paper図書
Joe Hurd, Tom Melham (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Hurd, Joe Melham, T. F. (Tom ...

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Paper図書
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Slind, Konrad Bunker, Annette...

Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Paper図書
David Basin, Burkhart Wolff (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Basin, David Wolff, Burkhart

Theorem proving in higher order logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings

Theorem proving in higher order logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings
Paper図書
Stefan Berghofer ... [et al.] (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingBerghofer, Stefan International Conference on Theorem Proving in Higher Order Logics, TPHOLs (22th : Germany)

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Paper図書
Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Carreño, Victor A. Muñoz, Cés...

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
Paper図書
Mark Aagaard, John Harrison (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Aagaard, Mark Harrison, J. (J...

Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
Paper図書
Yves Bertot ... [et al.] (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Bertot, Yves

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
Paper図書
Richard J. Boulton, Paul B. Jackson (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Boulton, Richard J. Jackson, ...

Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings
Paper図書
Jim Grundy, Malcolm Newey (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Grundy, J. (Jim) Newey, Malco...

Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
Paper図書
Elsa L. Gunter, Amy Felty (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Gunter, Elsa L. Felty, Amy

Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
Paper図書
J. von Wright, J. Grundy, J. Harrison, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingInternational Conference on Theorem Proving in Higher Order Logics Wright, J. (Joakim) von Grund...

Reached to the end of result.

RSS