Inicio > Matemáticas y ciencia > Matemáticas > Automated Theorem Proving
Automated Theorem Proving

Automated Theorem Proving

Monty Newborn

208,54 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2001
Materia
Matemáticas
ISBN:
9780387950754

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)
¡Pregúntanos!
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

  • Wearable Electronics and Embedded Computing Systems for Biomedical Applications
    Wearable electronics and embedded computing systems have been receiving a great deal of interest over the last two decades in research and commercial fields, with a special focus on biomedical applications. The key benefits introduced by these systems include their small size, lightweight, low-power consumption, and, of course, wearability. Major human-centered applications are...
    Disponible

    67,84 €

  • John and Betty’s Journey Into Complex Numbers
    Matt Bower
    Set in the genre of a children’s book, John and Betty trace the evolutionof complex numbers and explore their operations. From integers, tofractions, to surds, complex numbers are made to seem like an obviousextension. Incorporating graphing on the complex number plane andculminating in De Moivre’s Theorem, the logic of complex numbers ismade to seem intuitive and simple. John ...
    Disponible

    19,23 €

  • Special Functions
    Historically, the notion of entropy emerged in conceptually very distinct contexts. This book deals with the connection between entropy, probability, and fractional dynamics as they appeared, for example, in solar neutrino astrophysics since the 1970's (Mathai and Rathie 1975, Mathai and Pederzoli 1977, Mathai and Saxena 1978, Mathai, Saxena, and Haubold 2010).The original ...
    Disponible

    75,85 €

  • VALUE DISTRIBUTION IN P-ADIC ANALYSIS
    ALAIN ESCASSUT / ESCASSUT ALAIN
     The book first explains the main properties of analytic functions in order to use them in the study of various problems in p-adic value distribution. Certain properties of p-adic transcendental numbers are examined such as order and type of transcendence, with problems on p-adic exponentials. Lazard's problem for analytic functions inside a disk is explained. P-adic meromo...
  • WORLDWIDE LOTTERY GAMES In Naturally Optimized Systems
    Cornelia Lala / Corneliu Lala
    Worldwide Lottery Games In Naturally Optimized Systems Pick 5 has been developed on the authors’ initiative, based on the belief that nothing in the Universe happens by chance because there are laws governing everything, and by increasing our knowledge, we can triumph over mere chance. This is a book for players and/or groups of players (syndicates) who want to play to more th...
    Disponible

    28,34 €

  • ENTENDIENDO LAS PROBABILIDADES Y CALCULÁNDOLAS
    Catalin Barboianu / Rafael Martilotti
    La vida cotidiana está llena de situaciones que exigen tomar decisiones. Y en estos casos comparamos y hacemos estimaciones de probabilidades, a veces casi sin darnos cuenta, especialmente en el momento de decidir. Pero las probabilidades no son números simples asociados objetiva o subjetivamente a los eventos, como nos podría parecer, y el cálculo y el uso que le damos están e...
    Disponible

    31,57 €

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 €

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

    148,42 €

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