Filtrer vos résultats
- 5
- 3
- 5
- 3
- 3
- 8
- 2
- 1
- 3
- 1
- 1
- 8
- 8
- 5
- 6
- 5
- 2
- 1
- 1
8 résultats
|
|
triés par
|
|
Design of formal specifications by normal logic programs : merging formal text and good comments[Research Report] RR-1897, INRIA. 1993
Rapport
inria-00074774v1
|
||
|
Proof methods of declarative properties of definite programs[Research Report] RR-1248, INRIA. 1990
Rapport
inria-00075310v1
|
||
A Minimal Extension of the WAM for clp(FD)International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790
Communication dans un congrès
hal-00668913v1
|
|||
wamcc: Compiling Prolog to CInternational Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92
Communication dans un congrès
hal-00668817v1
|
|||
Boolean Constraint Solving Using clp(FD)International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p
Communication dans un congrès
hal-00668897v1
|
|||
clp(B): Combinig Simplicity and Efficiency in Boolean Constraint SolvingProgramming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1007/3-540-58402-1_18⟩
Communication dans un congrès
istex
hal-00668859v1
|
|||
Finite Domain Constraints in Constraint Logic ProgrammingEuropean Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND
Communication dans un congrès
hal-00668846v1
|
|||
|
Parallel logic programming systems[Research Report] RR-1691, INRIA. 1992
Rapport
inria-00076926v1
|