Reanimation of the First Automatic Theorem Prover (From 1956)
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover. - dmoews/logic-theorist
Summary not yet generated for this article.
Comments (1 of ) ⌛