By Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.)
This quantity includes completely revised complete types of the easiest papers offered on the moment foreign convention on man made Intelligence and Sympolic Mathematical Computation, held in Cambridge, united kingdom in August 1994.
The 19 papers incorporated supply transparent proof that now, after a really lengthy interval whilst AI and arithmetic seemed to have prepared an amicable separation, those fields are starting to be jointly back as a space of fruitful interdisciplinary actions. This booklet explores the interplay among mathematical computation and clears the floor for destiny focus on themes which can additional unify the field.