U.S.-France Cooperative Research (INRIA): Structuring of Proof Search in the Logic Programming Paradigm

Miller, Dale

Abstract

Funding Agency

• Agency: National Science Foundation (NSF)
• Institute: Office of International and Integrative Activities (IIA)
• Type: Standard Grant (Standard)
• Application #: 9896139
• Program Officer: Rose Gombay
• Budget Start: 1997-09-01
• Budget End: 1999-08-31
• Fiscal Year: 1998
• Total Cost: $16,029

Institution

• Name: Pennsylvania State University
• City: University Park
• State: PA
• Country: United States
• Zip Code: 16802