Pengarang: Michael Kohlhase

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 …

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15-17, 2005 at – ternational University Bremen, Germany. Previous …

Computers arechanging the way wethink. Of course, nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But …

…

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and …

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in …

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in …