Award Abstract # 7203701
Explorations in Problem Solving, Theorem Proving, Theorem Discovery and Robot Guidance
| NSF Org: |
CCF Division of Computing and Communication Foundations |
| Recipient: |
|
| Initial Amendment Date: | May 30, 1972 |
| Latest Amendment Date: | May 30, 1972 |
| Award Number: | 7203701 |
| Award Instrument: | Standard Grant |
| Program Manager: |
name not available
CCF Division of Computing and Communication Foundations CSE Directorate for Computer and Information Science and Engineering |
| Start Date: | June 15, 1972 |
| End Date: | June 30, 1974 (Estimated) |
| Total Intended Award Amount: | $39,300.00 |
| Total Awarded Amount to Date: | $39,300.00 |
| Funds Obligated to Date: |
|
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
110 INNER CAMPUS DR AUSTIN TX US 78712-1139 (512)471-6424 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
|
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): | THEORETICAL COMPUTER SCIENCE |
| Primary Program Source: |
|
| Program Reference Code(s): | |
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
Not Available
Please report errors in award information by writing to: awardsearch@nsf.gov.
