- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA-CR ; 188078
- Uniform Title
- NASA contractor report ; NASA CR-188078.
- Subject
- Note
- Distributed to depository libraries in microfiche.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:188078
- OCLC
- marcive24663770
- Author
Cooper, Robert.
- Title
Consistent detection of global predicates [microform] / Robert Cooper, Keith Marzullo.
- Imprint
Ithaca, NY ; Dept. of Computer Science, Cornell University, [1991]
- Series
NASA-CR ; 188078
NASA contractor report ; NASA CR-188078.
- Reproduction
Microfiche. [Washington, DC? : National Aeronautics and Space Administration], 1991. 1 microfiche.
- Added Author
Marzullo, Keith.
United States. National Aeronautics and Space Administration.
- Gpo Item No.
830-H-14 (MF)
- Sudoc No.
NAS 1.26:188078
- Research Call Number
READEX Microfiche NAS 1.26:188078