Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 /

by Calmet, Jacques. editor., SpringerLink (Online service)
Published 1982

Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 / Computer Algebra [electronic resource] : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 /

by Calmet, Jacques. editor., SpringerLink (Online service)
Published 1982

Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 19... Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 19...

by Calmet, Jacques. editor., Campbell, John A. editor., SpringerLink (Online service)
Published 1995

Artificial Intelligence and Symbolic Mathematical Computing [electronic resource] : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings / Artificial Intelligence and Symbolic Mathematical Computing [electronic resource] : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings /

by Calmet, Jacques. editor., Campbell, John A. editor., SpringerLink (Online service)
Published 1993

Artificial Intelligence and Symbolic Mathematical Computing [electronic resource] : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings / Artificial Intelligence and Symbolic Mathematical Computing [electronic resource] : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings /

by Calmet, Jacques. editor., Campbell, John A. editor., SpringerLink (Online service)
Published 1993

Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 19... Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 19...

by Calmet, Jacques. editor., Campbell, John A. editor., SpringerLink (Online service)
Published 1995

Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July... Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July...

by Calmet, Jacques. editor., Benhamou, Belaid. editor., Caprotti, Olga. editor., Henocque, Laurent. editor., Sorge, Volker. editor., SpringerLink (Online service)
Published 2002

Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July... Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July...

by Calmet, Jacques. editor., Benhamou, Belaid. editor., Caprotti, Olga. editor., Henocque, Laurent. editor., Sorge, Volker. editor., SpringerLink (Online service)
Published 2002