Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings ... Computer Science and General Issues)

by KlausSchneider (Editor), JensBrandt (Editor)

• New

  Paperback
  2007

  $61.27

  This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.