Jacques Calmet

4 published titles

Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings

(Contributor)

1 edition

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings

(Contributor)

1 edition

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 ; proceedings

(Contributor)

1 edition

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Sevilla, Spain, December 11-13, 2014, proceedings

(Contributor)

1 edition