A. Colmerauer. An Introduction to Prolog III. Commun. ACM, 28(4):412--418, 1990. Home/Search Document Not in Database Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Combinatorial Optimization in OPL Studio - Van Hentenryck Michel (1999) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Commun. ACM, 28(4):412--418, 1990.
Pascal Van Hentenryck - Brown University Laurent (2000) (Correct)
No context found.
COLMERAUER, A. 1990. An Introduction to Prolog III. Commun. ACM 28, 4, 412--418.
A Decomposition-Based Implementation - Of Search Strategies (2004) (Correct)
No context found.
COLMERAUER, A. 1990. An introduction to Prolog III. Commun. ACM 28,4,412--418.
A Preview of OPL - Pascal Van Hentenryck (2000) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Commun. ACM, 28(4):412-- 418, 1990.
Pattern Unification with Sequence Variables and Flexible Arity.. - Kutsia (2002) (Correct)
No context found.
A. Colmerauer. An introduction to Prolog III. CACM, 33(7):69--91, 1990.
Constraint Query Algebras - Goldin (1997) (17 citations) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. CACM, 33:7:69--90, 1990.
On Similarity Queries for Time-Series Data: Constraint.. - Goldin, Kanellakis (1995) (53 citations) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. CACM, 33:7:69--90, 1990.
CLP(Flex): Constraint Logic Programming Applied to XML.. - Coelho, Florido (2004) (Correct)
No context found.
A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69--90, 1990.
WWW Programming using Computational Logic Systems - And The Pillow (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 28(4):412-418, 1990.
Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
No context found.
A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69--90, 1990.
Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
No context found.
A. Colmerauer. Introduction to Prolog III. In Commission of the European Communities, Directorate-General Telecommunications, Information Industries, and Innovations, editors, Proceedings of the Fourth Annual ESPRIT Conference, pages 611--629, 1987.
Cooperative Solvers in Constraint Programming: a Short .. - Granvilliers.. (2001) (2 citations) (Correct)
No context found.
Colmerauer, A. An Introduction to Prolog III. Communications of the ACM 33, 7 (1990), 69-90.
Solving Geometrical Constraint Systems Using CLP Based on Linear .. - Bouhineau (1996) (1 citation) (Correct)
No context found.
A. Colmerauer, An Introduction to Prolog III , Commun. ACM, 28(4):412418, 1990.
The PiLLoW/CIAO Library for INTERNET/WWW Programming.. - Cabeza, Hermenegildo.. (1996) (6 citations) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 28(4):412-418, 1990.
Verification of non-linear overconstraints in Euclidean geometry .. - Bouhineau (Correct)
No context found.
Colmerauer, A. An introduction to Prolog III, Communication of the ACM vol. 33, no. 7 page 69--90, 1990.
Flexible and Efficient Similarity Querying for Time-series.. - Goldin, Millstein, Kutlu (2003) (Correct)
No context found.
colmerauer A. Colmerauer. An Introduction to Prolog III. CACM, 33:7:69-90, 1990.
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
No context found.
A. Colmerauer. An introduction to Prolog III. CACM, 33 (7):70--90, July 1990.
Unknown - (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Commun. ACM, 28(4):412-418, 1990. 162 163
YAP User's Manual - Version No Value (Correct)
No context found.
Colmerauer A.: An Introduction to Prolog III, Communications of the ACM, 33(7), 69-90, 1990.
Solving Constraints for an Instance of an Extended CLP.. - Garcia-Diaz, Nieva (2003) (Correct)
No context found.
Colmerauer, A. An introduction to PROLOG III, Commun. ACM 33(7), 1990, 69-90.
Finite-Tree Analysis for Constraint Logic-Based.. - Bagnara, Gori, Hill, .. (2001) (1 citation) (Correct)
No context found.
A. Colmerauer, An introduction to Prolog-III, Communications of the ACM 33 (7) (1990) 69--90.
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
No context found.
A. Colmerauer, An introduction to Prolog-III, Communications of the ACM 33 (7) (1990) 69--90.
The Framework Approach for Constraint Satisfaction - Roy, Liret, Pachet (1998) (Correct)
No context found.
A. Colmerauer, "An Introduction to Prolog-III" Communication of the ACM, vol. 33(7), pp. 69, 1990.
Finite-Tree Analysis for Constraint Logic-Based Languages - Bagnara, Gori, Hill.. (2001) (1 citation) (Correct)
No context found.
A. Colmerauer, An introduction to Prolog-III, Communications of the ACM 33 (7) (1990) 69--90.
Hardware Compilation of the ProCoS Gas Burner Case Study using.. - Bowen (1996) (Correct)
No context found.
A. Colmerauer. An Introduction to Prolog III. Communications of the ACM 33(7):69--90, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC