Schmidt, Renate
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.

	Keyword	Results for this URL	Total searches