Distributivity in Łℵ0 and Other Sentential Logics
Journal of Automated Reasoning
Conquering the Meredith Single Axiom
Journal of Automated Reasoning
Journal of Automated Reasoning
Short Single Axioms for Boolean Algebra
Journal of Automated Reasoning
Hilbert's Twenty-Fourth Problem
Journal of Automated Reasoning
Journal of Automated Reasoning
Indeed: Interactive Deduction on Horn Clause Theories
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Appendix: Conjectures Concerning Proof, Design, and Verification
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Automating the Search for Answers to Open Questions
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Regnet: an infrastructure for regulatory information management and compliance assistance
dg.o '02 Proceedings of the 2002 annual national conference on Digital government research
Mathematical Induction in Otter-Lambda
Journal of Automated Reasoning
Towards Reconfigurable Circuits Based on Ternary Controlled Analog Multiplexers/Demultiplexers
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Rectangular quasigroups and rectangular loops
Computers & Mathematics with Applications
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
| Hi-index | 0.00 |