An Interval logic for higher-level temporal reasoning
By: R.L. Schwartz ... [et al.].
Contributors: Schwartz, Richard L., 1954-; Langley Research Center.; SRI International.
Series: NASA contractor report -- 172262.; NASA contractor report -- NASA CR-172262.
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 1983
Place of publication: Hampton, Va
Language: eng
Format: Microform
Subjects: Integral equations.; Parallel processing (Electronic computers); Computer programs.
Notes: "SRI International."

"September 1983."

"Contract NAS1-17067."

"N84-16821"--Microfiche header.

Bibliography: p. [49]-50.

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1984]. 1 microfiche ; 11 x 15 cm.