MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Hi-index | 0.00 |