Claude Kirchner
1
Documents
Identifiants chercheurs
claudekirchner-
0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 1
- 1
|
|
Deduction with symbolic constraints[Research Report] RR-1358, INRIA. 1990, pp.46
Rapport
inria-00077103v1
|