Interval Logic for Higher-Level Temporal Reasoning. Final Report NASA-CR-172262 N84-16821 NAS-126172262

Interval Logic for Higher-Level Temporal Reasoning. Final Report

NASA-CR-172262 N84-16821 NAS-126172262

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 規格・テクニカルリポート類
Title: Interval Logic for Higher-Level Temporal Reasoning. Final Report
Author/Editor: Schwartz, R. L
Melliar-smith-P. M
Vogt, F. H
Plaisted, D. A
Extent: microfiche 87 p
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : NASA-CR-172262
テクニカルリポート番号 : N84-16821
テクニカルリポート番号 : NAS-126172262
Holding library: 国立国会図書館
Call No.: LS-N84/16821
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004941314
http://id.ndl.go.jp/bib/000004941314
Bibliographic Record Category (NDL): 291