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