Aït-Kaci, Hassan (1954- ).
Aït-Kaci, Hassan
Aït-Kaci, Hassan, 1954-2020
Hassan Aït Kaci Algerian computer scientist
VIAF ID: 110425370 ( Personal )
Permalink: http://viaf.org/viaf/110425370
Preferred Forms
-
- 100 1 _ ‡a Aït-Kaci, Hassan ‡d 1954-
-
- 100 1 _ ‡a Aït-Kaci, Hassan, ‡d 1954-
-
- 100 1 _ ‡a Aït-Kaci, Hassan, ‡d 1954-....
-
-
- 100 1 _ ‡a Aït-Kaci, Hassan
-
- 100 1 _ ‡a Aït-Kaci, Hassan
-
-
- 100 0 _ ‡a Hassan Aït Kaci ‡c Algerian computer scientist
4xx's: Alternate Name Forms (15)
Works
Title | Sources |
---|---|
Algebraic techniques | |
ANALYSES STATIQUES EN PROGRAMMATION LOGIQUE AVEC CONTRAINTES | |
A correct and efficient interface for logical query languages with complex objects | |
feature based constraint system for logic programming with entailment | |
Integration of declarative paradigms : proceedings of the ICLP'94 post-conference workshop, Santa Margherita Ligure, Italy | |
A lattice theoretic approach to computation based on a calculus of partially ordered type structures | |
Raisonnement incertain pour les règles métier | |
Resolution of equations in algebraic structures. | |
Rewriting techniques | |
Subtyping by Constraint Saturation, Theory and Implementation. | |
Uncertain reasoning for business rules. | |
Warren's abstract machine : a tutorial reconstruction |