Researcher identifiers

Number of documents

1

Claude Kirchner


Michael Rusinowitch   

Reports1 document

  • Claude Kirchner, Hélène Kirchner, Michaël Rusinowitch. Deduction with symbolic constraints. [Research Report] RR-1358, INRIA. 1990, pp.46. ⟨inria-00077103⟩