15th International Conference on Theorem Proving in Higher-Order Logics

Information

• NSF Award
• 0221234

Owner

• Universities Space Research Association

• Award Id

  0221234

• Award Effective Date

  8/15/2002 - 22 years ago

• Award Expiration Date

  7/31/2003 - 21 years ago

• Award Amount

  $ 10,000.00

• Award Instrument

  Standard Grant

15th Annual Conference on Teorem Proving in Higher Order Logics

• Program Officer

  Robert B Grafton

• Min Amd Letter Date

  8/16/2002 - 22 years ago

• Max Amd Letter Date

  8/16/2002 - 22 years ago

• ARRA Amount

• Name

  Universities Space Research Association

• City

  Columbia

• State

  MD

• Country

  United States

• Address

  7178 Columbia Gateway Drive

• Postal Code

  210462581

• Phone Number

  4107302656

• First Name

  Cesar

• Last Name

  Munoz

• Email Address

  munoz@icase.edu

• Start Date

  8/16/2002 12:00:00 AM