Document Preview

An inference engine for epistemic specifications

Watson, Richard Glenn.   The University of Texas at El Paso ProQuest Dissertations & Theses,  1994. EP04522.