4 ms·
Does anyone know how to find the paper cited in the section on Logic Machines? McCallum D. B. and Smith J. B.. Mechanized reasoning—logical computers and their
by haskellandchill 3y ago
Does anyone know how to find the paper cited in the section on Logic Machines?
McCallum D. B. and Smith J. B.. Mechanized reasoning—logical computers and their design.
I can only find a review of it. This is an area of interest for me as I want to design educational logic machines to teach proofs.
- _a_a_a_ 3y agohttps://aslonline.org/journals/the-journal-of-symbolic-logic/ https://aslonline.org/journals/the-journal-of-symbolic-logic... Contact them and ask
- Eisenstein 3y agoUnfortunately I can only access volumes of 'Electronic Engineering' starting with Vol. 30, and the one you want is 23.
- hedora 3y agoThis is the back matter, which seems to be a Table of Contents: https://annas-archive.org/md5/c50b9ec404b79e6a7d6ad77e9ef55f34 https://annas-archive.org/md5/c50b9ec404b79e6a7d6ad77e9ef55f... Front matter: https://annas-archive.org/md5/e9080f059fa914cc7ae31e2790b2671b https://annas-archive.org/md5/e9080f059fa914cc7ae31e2790b267...