Evgenia A. Ternovska, Ph.D.
Affiliations: | 2002 | University of Toronto, Toronto, ON, Canada |
Area:
Computer ScienceGoogle:
"Evgenia Ternovska"Parents
Sign in to add mentor| Raymond Reiter | grad student | 2002 | University of Toronto | |
| (The situation calculus: Decidability and an approach based on the logic for non-monotone inductive definitions.) | ||||