|
Automated Reasoning with Analytic Tableaux and Related Methods
|
Neil V. Murray |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings<br />Author: Neil V. Murray<br /> Publishe… |
OL10081745W |
|
A new kind of science
|
Stephen Wolfram |
This work presents a series of dramatic discoveries never before made public. Starting from a collection of simple computer experiments---illustrated in the book by striking computer graphics---Wolfr… |
OL15838690W |
|
The age of spiritual machines
|
Ray Kurzweil |
Imagine a world where the difference between man and machine blurs, where the line between humanity and technology fades, and where the soul and the silicon chip unite. This is not science fiction. T… |
OL1958851W |
|
Darwin among the machines
|
George Dyson |
In his prediction of the World Wide Web's ultimate challenge to human civilization--a globally networked, electronic, sentient being--Dyson traces the course of the information revolution, illuminati… |
OL2038460W |
|
Safe and sound
|
John Fox Jr.,Subrata Das |
"In this book, John Fox and Subrata Das examine realizable systems that perform intelligent tasks in medicine, exploring their designs and the problems they create as well as their successes." "Fox a… |
OL20804605W |
|
Fluid Concepts and Creative Analogies
|
Fluid Analogies Research Group,Douglas R. Hofstadter |
Readers of earlier works by Douglas Hofstadter will find this book a natural extension of his style and his ideas about creativity and analogy; in addition, psychologists, philosophers, and artificia… |
OL716837W |
|
Minds, Brains, and Computers
|
Ralph Morelli |
Introductory text about current issues in artificial intelligence and cognitive science, based on a series of lectures. |
OL7943119W |