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
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