Applying knowledge compilation techniques to model-based reasoning
By: Richard M. Keller.
Contributors: Ames Research Center. Artificial Intelligence Research Branch.
Series: NASA-TM -- 107876.; NASA technical memorandum -- 107876.
Publisher: NASA Ames Research Center, Artificial Intelligence Research Branch; National Technical Information Service, distributor
Published: 1991
Place of publication: Moffett Field, CA; [Springfield, Va.?
Language: eng
Format: Microform
Subjects: Artificial intelligence.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 92-2404-M.

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1992. 1 microfiche.