Marc Bergman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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

	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

Coauthor Index

1 Jacques Calmet [3]

2 Pierre Deransart [1]

Colors in the list of coauthors