Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
PVS - design for a practical verification system
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
The Practical Verification System Project
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Components of verification technology
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Automated reasoning: real uses and potential uses
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Semantic paramodulation for Horn sets
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A new hyperparamodulation strategy for the equality relation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |