A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Compactness and Continuity, Constructively Revisited
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Vector Image Segmentation by Piecewise Continuous Approximation
Journal of Mathematical Imaging and Vision
Some notes on the characterization of compact sets of fuzzy sets with Lp metric
Fuzzy Sets and Systems
Reasoning, Action and Interaction in AI Theories and Systems
| Hi-index | 0.00 |