Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Parallel Rule-Based Fuzzy Inference on Mesh-Connected Systolic Arrays
IEEE Expert: Intelligent Systems and Their Applications
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Structured neurobiological networks
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |