Inicio > > Ciencias de la computación > Inteligencia artificial > Automated Theorem Proving
Automated Theorem Proving

Automated Theorem Proving

Monty Newborn

148,42 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2013
Materia
Inteligencia artificial
ISBN:
9781461265191
148,42 €
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)
Sobre IBD

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.

Artículos relacionados

  • Artificial Cognition Systems
    ...
  • Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition
    Vijay Kumar Mago
    The need for intelligent machines in areas such as medical diagnostics, biometric security systems, and image processing motivates researchers to develop and explore new techniques, algorithms, and applications in this evolving field. Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition: Advancing Technologies provides a common platform for researc...
  • Emerging Applications of Natural Language Processing
    Over the last few years, the area of Natural Language Processing has drastically grown in recognition, not only within the research and development community, but also with industry professionals. As NLP continues to be discussed and researched, certain areas continue to grow and mature. As a result, the need for advanced research and information is in high demand. Emerging App...
  • Androids, Cyborgs, and Robots in Contemporary Culture and Society
    Steven John Thompson
    Mankind’s dependence on artificial intelligence and robotics is increasing rapidly as technology becomes more advanced. Finding a way to seamlessly intertwine these two worlds will help boost productivity in society and aid in a variety of ways in modern civilization. Androids, Cyborgs, and Robots in Contemporary Culture and Society is an essential scholarly resource that delve...
  • Deep Learning Innovations and Their Convergence With Big Data
    The expansion of digital data has transformed various sectors of business such as healthcare, industrial manufacturing, and transportation. A new way of solving business problems has emerged through the use of machine learning techniques in conjunction with big data analytics. Deep Learning Innovations and Their Convergence With Big Data is a pivotal reference for the latest sc...
  • Computational Psychoanalysis and Formal Bi-Logic Frameworks
    Giuseppe Iurato
    Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unc...

Otros libros del autor

  • Beyond Deep Blue
    Monty Newborn
    More than a decade has passed since IBM’s Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. Beyond Deep Blue tells the continuing story of the chess engine and its steady improvement. The book provides analysis of the games alongside a detailed examination of the remarkable technological progress made by the engines - askin...
    Disponible

    66,25 €

  • Deep Blue
    Monty Newborn
    This book offers a detailed account of IBM’s Deep Blue chess program, the people who created it, and its historic battles with World Chess Champion Garry Kasparov. The text examines the progress made by the creators of Deep Blue, beginning with the1989 two-game match against Kasparov. The heroes are: IBM researchers Feng-hsiung Hsu, Murray Campbell, a...
    Disponible

    133,58 €

  • Kasparov versus Deep Blue
    Monty Newborn
    In February 1996, a chess-playing computer known as Deep Blue made history by defeating the reigning world chess champion, Gary Kasparov, in a game played under match conditions. Kasparov went on to win the six-game match 4-2 and at the end of the match announced that he believed that chess computing had come of age. This book provides an enthralling ...
    Disponible

    45,14 €

  • Beyond Deep Blue
    Monty Newborn
    More than a decade has passed since IBM’s Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. Beyond Deep Blue tells the continuing story of the chess engine and its steady improvement. The book provides analysis of the games alongside a detailed examination of the remarkable technological progress made by the engines - askin...
  • Deep Blue
    Monty Newborn
    This book offers a detailed account of IBM’s Deep Blue chess program, the people who created it, and its historic battles with World Chess Champion Garry Kasparov. The text examines the progress made by the creators of Deep Blue, beginning with the1989 two-game match against Kasparov. The heroes are: IBM researchers Feng-hsiung Hsu, Murray Campbell, a...
  • Automated Theorem Proving
    Monty Newborn
    This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Th...