Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “michael kohlhase”
Skip side bar filters

  • 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

    Edición de Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    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, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI. ... Leer más

    $98.99 USD

  • Symbolic Computation and Automated Reasoning

    The CALCULEMUS-2000 Symposium

    Edición de Manfred Kerber, Michael Kohlhase ...
    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 reasoning tasks involved. ... Leer más

    $77.99 USD

  • 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

    Edición de Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    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, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI. ... Leer más

    $107.99 USD

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Edición de Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa ...
    Series series Springer Nature Proceedings Computer Science
    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 are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... Leer más

    $40.99 USD

  • Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

    Edición de Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein ...
    Series series Springer Nature Proceedings Computer Science
    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 from 24 submissions. They were organized in topical sections as follows:Argument Mining; Debate ... Leer más

    Gratis

La gente que leyó estos también disfrutó

  • Essential Speech and Language Technology for Dutch

    Results by the STEVIN-programme

    Edición de Peter Spyns, Jan Odijk ...
    Series series Computer Science (R0)
    The book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch. It not only presents the state of the art of HLT for Dutch in the areas covered, but, even more importantly, a description of the resources (data and tools) for Dutch that have been created are now available for both academia and industry worldwide.The contributions cover many areas of ... Leer más

    Gratis

  • Machine Learning and Principles and Practice of Knowledge Discovery in Databases

    International Workshops of ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Revised Selected Papers, Part II

    Edición de Rosa Meo, Fabrizio Silvestri ...
    Series Libro 2 - Springer Nature Proceedings excluding Computer Science
    The five-volume set CCIS 2133-2137 constitutes the refereed proceedings of the workshops held in conjunction with the Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, during September 18-22, 2023.The 200 full papers presented in these proceedings were carefully reviewed and selected from 515 submissions. The ... Leer más

    $98.99 USD

  • Web Information Systems Engineering – WISE 2024

    25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part IV

    Edición de Mahmoud Barhamgi, Hua Wang, Xin Wang ...
    Series Libro 4 - Springer Nature Proceedings Computer Science
    This five-volume set LNCS 15436 -15440 constitutes the proceedings of the 25th International Conference on Web Information Systems Engineering, WISE 2024, held in Doha, Qatar, in December 2024.The 110 full papers and 55 short papers were presented in these proceedings were carefully reviewed and selected from 368 submissions. The papers have been organized in the following topical sections as ... Leer más

    $80.99 USD

  • Semantic Computing

    Edición de Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu ...
    Presents the state of the technology and points to future directions for semantic computingSemantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, and ... Leer más

    $143.00 USD

  • Machine Learning and Principles and Practice of Knowledge Discovery in Databases

    International Workshops of ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Revised Selected Papers, Part I

    Edición de Irena Koprinska, João Mendes-Moreira, Paula Branco ...
    Series Libro 1 - Springer Nature Proceedings excluding Computer Science
    The 5-volume set CCIS 2839 – 2843 constitutes the refereed proceedings of several workshops held in conjunction with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025, which took place in Porto, Portugal, in September 2025.The 236 full papers included in these proceedings were carefully reviewed and selected from 413 ... Leer más

    $107.99 USD

  • Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

    Edición de Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches ... Leer más

    Gratis

  • Semantic Systems. The Power of AI and Knowledge Graphs

    15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

    Edición de Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019.The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep learning ... Leer más

    Gratis