Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
A generic approach to building user interfaces for theorem provers
Journal of Symbolic Computation - Special issue graphical user interfaces and protocols
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Essential XUL programming
Web Services Essentials
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Comparing Mathematical Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The Nuprl Open Logical Environment
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
The Theorema environment for interactive proof development
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |