15th International Conference on Theorem Proving in Higher-Order Logics
$10,000FY2002CSENSF
Universities Space Research Association, Washington DC
Investigators
Abstract
15th Annual Conference on Teorem Proving in Higher Order Logics
View original record on NSF Award Search →