Filter by
Found 2 from your keywords: subject="Computer logic."
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
- Edition
- -
- ISBN/ISSN
- 9780262274951
- Collation
- 1 online resource (xv, 459 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Bots and beasts :what makes machines, animals, and people smart?
"An honest attempt to compare and analyze the intelligence of humans, animals, and computers by an eminent cognitive scientist and long-time Press author"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262365898
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography