Search
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 ...