The synthesis of digital machines with provable epistemic properties
By: Stanley J. Rosenschein and Leslie Pack Kaelbling.
Contributors: Kaelbling, Leslie Pack.
Series: Report / Center for the Study of Language and Information ;; no. CSLI-87-83; Report (Center for the Study of Language and Information (U.S.)) ;; no. CSLI-87-83.
Publisher: Center for the Study of Language and Information/SRI International
Published: 1987
Place of publication: Menlo Park, CA
Language: eng
Number of pages: 38
Subjects: Robotics.; Artificial intelligence.; Logic design.
Notes: Bibliography: p. 36-38.
"March 1987."