Atkinson, Eric Hamilton.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
A Language and Logic for Programming and Reasoning With Partial Observability.
by:
Atkinson, Eric Hamilton.; Massachusetts Institute of Technology., Department of Electrical Engineering and Computer Science.
(Electronic resources)
Subjects