Björn GohlaI want to know how to implement solvers for systems of inference rules; there must be lots of literature. What do I search for?
(naive search only turns up trivialities)
I want to know how to implement solvers for systems of inference rules; there must be lots of literature. What do I search for?
(naive search only turns up trivialities)