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

Category
People
Visits
67
Added
May 30, 2025
Rating
(43)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Get the best links delivered weekly — hand-picked from 1,200,810 resources