๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A program for machine-mediated searching

โœ Scribed by David Toliver


Book ID
113329556
Publisher
Elsevier Science
Year
1981
Tongue
English
Weight
663 KB
Volume
17
Category
Article
ISSN
0306-4573

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A machine program for theorem-proving
โœ Davis, Martin; Logemann, George; Loveland, Donald ๐Ÿ“‚ Article ๐Ÿ“… 1962 ๐Ÿ› Association for Computing Machinery ๐ŸŒ English โš– 408 KB