A Semantics for Proof Plans with Applications to Interactive Proof Planning
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A survey of automated deduction
Artificial intelligence today
The use of theorem provers in the teaching and practice of formal methods
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
| Hi-index | 0.00 |