Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and ar

With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbol

The purpose of this catalogue is to promote interaction between members of the AI' community. It will do this by announcing the existence of Ai techniques and p

Computational mechanics is a scientific discipline that marries physics, computers, and mathematics to emulate natural physical phenomena. It is a technology th

Parallel Computing: Methods, Algorithms and Applications presents a collection of original papers presented at the international meeting on parallel processing,