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...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “pere pardo”
Skip side bar filters

  • Logic and Argumentation

    5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

    Edición de Andreas Herzig, Jieting Luo, Pere Pardo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... Leer más

    $62.99 USD

La gente que leyó esto 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

  • Foundations of Statistical Natural Language Processing

    de Christopher Manning, Hinrich Schutze ...
    Statistical approaches to processing natural language text have become dominant in recent years. This foundational text is the first comprehensive introduction to statistical natural language processing (NLP) to appear. The book contains all the theory and algorithms needed for building NLP tools. It provides broad but rigorous coverage of mathematical and linguistic foundations, as well as ... Leer más

    $77.99 USD

  • Knowledge Representation and Reasoning

    de Ronald Brachman, Hector Levesque ...
    Series series The Morgan Kaufmann Series in Artificial Intelligence
    Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated ... Leer más

    $88.99 USD

  • The Handbook of Computational Linguistics and Natural Language Processing

    Edición de Alexander Clark, Chris Fox, Shalom Lappin ...
    Series series Wiley Handbooks in Linguistics
    This comprehensive reference work provides an overview of the concepts, methodologies, and applications in computational linguistics and natural language processing (NLP).Features contributions by the top researchers in the field, reflecting the work that is driving the discipline forwardIncludes an introduction to the major theoretical issues in these fields, as well as the central engineering ... Leer más

    $46.00 USD

  • Statistical Relational Artificial Intelligence

    Logic, Probability, and Computation

    de Kristian Kersting, Luc De Raedt, Sriraam Natarajan, David Poole ...
    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in ... Leer más

    $46.99 USD

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Edición de Christel Baier, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Leer más

    Gratis

  • Automated Deduction – CADE 28

    28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

    Edición de André Platzer, Geoff Sutcliffe ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including ... Leer más

    Gratis

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edición de Mikołaj Bojańczyk, Alex Simpson ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Leer más

    Gratis

  • Statistical Machine Translation

    de Philipp Koehn ...
    The dream of automatic language translation is now closer thanks to recent advances in the techniques that underpin statistical machine translation. This class-tested textbook from an active researcher in the field, provides a clear and careful introduction to the latest methods and explains how to build machine translation systems for any two languages. It introduces the subject's building blocks ... Leer más

    $80.99 USD

  • Handbook of Temporal Reasoning in Artificial Intelligence

    Edición de Michael David Fisher, Dov M. Gabbay, Lluis Vila ...
    Series Libro 1 - Foundations of Artificial Intelligence
    This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers ... Leer más

    $233.99 USD

  • Automated Reasoning

    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

    Edición de Jasmin Blanchette, Laura Kovács, Dirk Pattinson ...
    Series series Springer Nature Proceedings Computer Science
    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving ... Leer más

    Gratis