Michael Kohlhase – författare

Visar alla böcker från författaren Michael Kohlhase. Handla med fri frakt och snabb leverans.

14 produkter

Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Michael Kohlhase, Manfred Kerber
E-bok, 2001
1052 kr
Lägg i varukorg
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 necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Michael Kohlhase, Manfred Kerber
E-bok, 2001
1052 kr
Lägg i varukorg
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 necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Av Manfred Kerber, Michael Kohlhase
Inbunden, 2001
1978 kr
Lägg i varukorg
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 necessary. This has made deduction systems indispensable because of the complexity and sheer size of the …
Artificial Intelligence. ECAI 2023 International Workshops
XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
Av Sławomir Nowaczyk, Przemysław Biecek m. fl.
Häftad, 2024
1241 kr
Lägg i varukorg
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 Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, …
Artificial Intelligence. ECAI 2023 International Workshops
XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II
Av Sławomir Nowaczyk, Przemysław Biecek m. fl.
Häftad, 2024
1353 kr
Lägg i varukorg
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 Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, …
Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Av Philipp Cimiano, Anette Frank m. fl.
Häftad, 2024
1423 kr
Lägg i varukorg
This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the proceedings were carefully reviewed and selected …
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Av Michael Kohlhase, Moa Johansson m. fl.
Häftad, 2016
478 kr
Lägg i varukorg
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 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers …
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Av Frank Tompa, Leonardo de Moura m. fl.
E-bok, 2016
638 kr
Lägg i varukorg
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 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers …
Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Av Michael Kohlhase
Häftad, 2006
568 kr
Lägg i varukorg
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 conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria …
Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Av Michael Kohlhase
E-bok, 2006
710 kr
Lägg i varukorg
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 conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria …
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Foreword by Alan Bundy
Av Michael Kohlhase
Häftad, 2006
568 kr
Lägg i varukorg
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 I’m not referring to that. I mean that people have begun to think about what they do in compu- tional …
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Foreword by Alan Bundy
Av Michael Kohlhase
E-bok, 2006
755 kr
Lägg i varukorg
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 I’m not referring to that. I mean that people have begun to think about what they do in compu- tional …
KI 2006
29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Av Christian Freksa, Michael Kohlhase m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th …
KI 2006
29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Av Kerstin Schill, Michael Kohlhase m. fl.
E-bok, 2007
734 kr
Lägg i varukorg