Schmidt, Renate

Schmidt, Renate
All Links

Share this:

Details of Schmidt, Renate

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