1988 | ||
---|---|---|
2 | Christine Rieu, Jean-Jacques Mercier, M. Vialatte: A tool for specification and semi-automatic implementation. ICCC 1988: 33-37 | |
1986 | ||
1 | Jean-Louis Laurière, M. Vialatte: SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics. IFIP Congress 1986: 811-816 |
1 | Jean-Louis Laurière | [1] |
2 | Jean-Jacques Mercier | [2] |
3 | Christine Rieu | [2] |