𝔖 Bobbio Scriptorium
✦   LIBER   ✦

‘Mind-like’ capabilities in computers: A note on computer induction

✍ Scribed by Donald Michie


Book ID
115828681
Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
861 KB
Volume
12
Category
Article
ISSN
0010-0277

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Cate
✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Ax 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c