Filter by
Reliable reasoning :induction and statistical learning theory
"A Bradford book."The implications for philosophy and cognitive science of developments in statistical learning theory.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262274975
- Collation
- 1 online resource (x, 108 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Reasoning about knowledge
Title from title screen.Title from website (viewed Jan. 20, 2006).Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to …
- Edition
- -
- ISBN/ISSN
- 9780262256094
- Collation
- 1 online resource (xiii, 517 pages) :illustrations
- Series Title
- -
- Call Number
- -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
- Edition
- -
- ISBN/ISSN
- 9783854480464
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography