Return to search

Automated reasoning about actions

Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Vladimir Lifschitz. Vita. Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/62126762
Date January 2005
CreatorsLee, Joohyung, Lifschitz, Vladimir,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0015 seconds