Jason, Gary James.2015-12-302015-12-301986http://hdl.handle.net/2097/22088Call number: LD2668 .T4 1986 J37Logic, Symbolic and mathematical.Question-answering systems--Design.Artificial intelligence.Erotetic logic as a specification language for database queriesTextMasters theses