Travelled to:
1 × USA
Collaborated with:
T.B.d.l.Tour R.Caferra
Talks about:
laboratori (1) infer (1) atinf (1) tool (1) some (1)
Person: Gilles Chaminade
DBLP: Chaminade:Gilles
Contributed to:
Wrote 1 papers:
- CADE-1988-TourCC #tool support
- Some Tools for an Inference Laboratory (ATINF) (TBdlT, RC, GC), pp. 744–745.