A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Design of an expert system for utilization research
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A many-valued logic for approximate reasoning
IBM Journal of Research and Development - Nanostructure technology
Hi-index | 0.00 |