Abstract

The proposal is to develop very high performance theorem provers by exploiting parallel computing. The new deduction systems will enable multiple processors to cooperatively attack a given problem, while allowing users to install their own representations of formulas and inference rules.

  Funding Agency

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Type
Standard Grant (Standard)
Application #
8810947
Program Officer
S. Kamal Abdali
Project Start
Project End
Budget Start
1989-01-01
Budget End
1990-06-30
Support Year
Fiscal Year
1988
Total Cost
$44,238
Indirect Cost

  Institution

Name
University of North Florida
Department
Type
DUNS #
City
Jacksonville
State
FL
Country
United States
Zip Code
32224