Filter by
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
- -
Iterative arrays of logical circuits
"MIT Press."An exploration of the techniques for analyzing the behavior of one- and two-dimensional iterative networks formed of discrete, or logical elements, showing that most questions about the behavior of iterative systems are recursively undecidable.Title from vendor webpage (IEEE Xplore; viewed on Feb. 14, 2013).An exploration of the techniques for analyzing the behavior of one- and two-…
- Edition
- -
- ISBN/ISSN
- 9780262256322
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Markets for technology :the economics of innovation and corporate strategy
The past two decades have seen a gradual but noticeable change in the economic organization of innovative activity. Most firms used to integrate research and development with activities such as production, marketing, and distribution. Today firms are forming joint ventures, research and development alliances, licensing deals, and a variety of other outsourcing arrangements with universities, te…
- Edition
- -
- ISBN/ISSN
- 9780262267366
- Collation
- 1 online resource (xi, 338 pages) :illustrations
- Series Title
- -
- Call Number
- -
Management :inventing and delivering its future
"The MIT Sloan School of Management: 50th anniversary."The MIT Sloan School of Management perspective on future management challenges.The MIT Sloan School of Management, as conceived by the legendary General Motors chairman Alfred P. Sloan, was founded in 1952 to draw on the scientific and technical resources of MIT and approach the problems of management with the rigorous research practices fo…
- Edition
- -
- ISBN/ISSN
- 9780262277334
- Collation
- 1 online resource (xiv, 309 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic as grammar
"A Bradford book."How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Hornstein argues that the traditional neoFregean approach taken by Davidson, Barwise and Perry, and Montague, among others--an approach that make…
- Edition
- -
- ISBN/ISSN
- 0262081377
- Collation
- 1 online resource (x, 176 pages)
- Series Title
- -
- Call Number
- -
A logical journey :from G?odel to philosophy
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the na…
- Edition
- -
- ISBN/ISSN
- 058502054X
- Collation
- 1 online resource (xiv, 391 pages).
- Series Title
- -
- Call Number
- -
Logic testing and design for testability
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
- Edition
- -
- ISBN/ISSN
- 0262256185
- Collation
- 1 online resource (x, 284 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the eleventh International Conference on Lo…
Conference proceedings presenting the state-of-the-art in Logic Programming.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262257145
- Collation
- 1 online resource (xx, 752 pages).
- Series Title
- -
- Call Number
- -
Logic programming and non-monotonic reasoning :proceedings of the second inte…
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
- Edition
- -
- ISBN/ISSN
- 9780262291378
- Collation
- 1 online resource (vii, 494 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Tenth International Conference on Logic…
"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface."The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of t…
- Edition
- -
- ISBN/ISSN
- 9780262291460
- Collation
- 1 online resource (xx, 854 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