Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Planning Proofs of Equations in CCS
Automated Software Engineering
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Tool Integration for Reasoned Programming
Verified Software: Theories, Tools, Experiments
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |