Now showing items 1-1 of 1
Extending relAPS to first order logic
(Brock University, 2011-03-08)
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil ...