| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1984 | |
|---|---|---|
| 3 |      | Jacques Calmet, Marc Bergman: Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. AAECC 1984: 253-265 |
| 1982 | ||
| 2 | | Marc Bergman: Algebraic Specifications: Constructive Methodology in Logic Programming. EUROCAM 1982: 91-100 |
| 1981 | ||
| 1 | | Marc Bergman, Pierre Deransart: Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. CAAP 1981: 101-116 |
| 1 | Jacques Calmet | [3] |
| 2 | Pierre Deransart | [1] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page