Filter by
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource (3 volumes) :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :illustrations
- Series Title
- -
- Call Number
- -
E-topia :"urban life, Jim--but not as we know it"
"The global digital network is not just a delivery system for email, Web pages, and digital television. It is a whole new form of urban infrastructure - one that will change the forms of our cities as dramatically as railroads, highways, electric power supply, and telephone networks did in the past. In this book, William J. Mitchell examines this new infrastructure and its implications for our …
- Edition
- -
- ISBN/ISSN
- 0585108978
- Collation
- 1 online resource (184 pages)
- Series Title
- -
- Call Number
- -
Learning mathematics and Logo
These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo. They discuss a range of issues in the areas of curriculum, learning, and mathematics, illustrating the ways in which Logo continues to provide a rich learning environment, one that allows pupil autonomy within challenging mathematical settings.Essays in the first sectio…
- Edition
- -
- ISBN/ISSN
- 9780262290883
- Collation
- 1 online resource (xxi, 483 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Learning in embedded systems
"A Bradford book."It is the first detailed exploration of the problem of learning action strategies in the context of designing embedded systems that adapt their behavior to a complex, changing environment; such systems include mobile robots, factory process controllers, and long-term software databases.Learning to perform complex action strategies is an important problem in the fields of artif…
- Edition
- -
- ISBN/ISSN
- 0262288508
- Collation
- 1 online resource (xi, 176 pages) :illustrations
- Series Title
- -
- Call Number
- -
Knowledge in action :logical foundations for specifying and implementing dyna…
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
- Edition
- -
- ISBN/ISSN
- 9780262282314
- Collation
- 1 online resource (xvi, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Knowledge engineering and management :the CommonKADS methodology
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262283236
- Collation
- 1 online resource (xiv, 455 pages) :illustrations
- Series Title
- -
- Call Number
- -
Knowledge-based neurocomputing
Looking at ways to encode prior knowledge and to extract, refine, and revise knowledge within a neurocomputing system.Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems…
- Edition
- -
- ISBN/ISSN
- 9780262270496
- Collation
- 1 online resource (xiv, 486 pages) :illustrations
- Series Title
- -
- Call Number
- -
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography