Switch to: References

Add citations

You must login to add citations.
  1. G The Automation of Sound Reasoning and Successful Proof Findin.Larry Wos & Branden Fitelson - unknown
    The consideration of careful reasoning can be traced to Aristotle and earlier authors. The possibility of rigorous rules for drawing conclusions can certainly be traced to the Middle Ages when types o f syllogism were studied. Shortly after the introduction of computers, the audacious scientist naturally envisioned the automation of sound reasoning—reasoning in which conclusions that are drawn follow l ogically and inevitably from the given hypotheses. Did the idea spring from the intent to emulate s Sherlock Holmes and Mr. (...)
    Direct download  
    Export citation