Mathematical Reasoning

Mathematical Reasoning

Gregory Michaelson

209,68 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2022
Materia
Influencia de la ciencia y la tecnología sobre la sociedad
ISBN:
9783030778811
209,68 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

This collection of essays examines  the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory,  tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software,  and health care and emergency management.  The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group.   Mathematical Reasoning: The History and Impact of the DReaM Group will  attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI. 

Artículos relacionados

  • Interactive Media Use and Youth
    Modern advancements in technology have changed the way that young people use interactive media. Learning from such methods was not even considered until recently. It is now slowly defining the landscape of contemporary pedagogical practices. Interactive Media Use and Youth: Learning, Knowledge Exchange and Behavior provides a comprehensive collection of knowledge based on diffe...
  • Social and Economic Effects of Community Wireless Networks and Infrastructures
    Abdelaal
    It is surprising to think that in today’s rapidly evolving world of technology, over half of the globe still does not have access to high speed internet. Creating community wireless networks has in the past been a way to provide remote communities with internet and network access. Social and Economic Effects of Community Wireless Networks and Infrastructures highlights the succ...
  • The New Atlantis
    Francis Bacon
    In this work, Bacon portrayed a vision of the future of human discovery and knowledge, expressing his aspirations and ideals for humankind. The novel depicts the creation of a utopian land where 'generosity and enlightenment, dignity and splendour, piety and public spirit' are the commonly held qualities of the inhabitants of 'Bensalem'. ...
  • Sport 2.0
    Andy Miah
    ...
    Disponible

    28,86 €

  • Productivity Machines
    Corinna Schlombs
    ...
    Disponible

    48,52 €

  • Open Space
    Mariel Borowitz
    ...
    Disponible

    38,25 €