108
click to vote
BIRTHDAY
1991
Springer
15 years 6 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...