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

Automated Theorem Proving

Wolfgang Bibel

84,62 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1982
Materia
Ciencias de la computación
ISBN:
9783528085209
84,62 €
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)

Among the dreams of mankind is the one dealing with the mecha­ nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredible advances in computer technology let it appear as a real possibility. Of course, it is not easy to say what sort of thing human thinking actually is, a theme which over the centuries occupied many thinkers, mainly philosophers. From a critical point of view most of their theories were of a speculative nature since their only way of testing was by Gedanken-experi­ ments. It is the computer which has opened here a wide range of new possibilities since with this tool we now can model real experiments and thus test such theories like physicists do in their field. About a quarter of a century ago, scientific activi­ ties of that sort were started under the label of artificial intelligence Today these activities establish a wide and prosperous field which the author, in lack of any better name, prefers to call intellectics. Without any doubt, the com­ puter programs developed in this field have tought us much about the nature of human thinking.

Artículos relacionados

Otros libros del autor

  • Lehren vom Leben
    Wolfgang Bibel
    Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Körper, Geist, Seele, zwischenmenschliche Beziehungen, gesellschaftliche, wirtschaftliche und politische Strukturen sowie Wissenschaft, Religion und Kunst. ...
    Disponible

    78,32 €

  • Wissensrepräsentation und Inferenz
    Wolfgang Bibel
    Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d.h. des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. And...
    Disponible

    78,10 €

  • Automated Theorem Proving
    Wolfgang Bibel
    Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies...
    Disponible

    121,57 €

  • Fundamentals of Artificial Intelligence
    Wolfgang Bibel
    ...
    Disponible

    66,13 €