Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.ai    |    Awaiting the gospel from Sarah Connor    |    1,954 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 513 of 1,954    |
|    johnicholas.hines@gmail.com to All    |
|    automated proof -> readable proof postpr    |
|    07 Dec 04 21:27:02    |
      Hello, I'm looking for pointers to any postprocessor of automated       proofs (resolution, paramodulation-ish proofs), into more readable       formats.              Thanks!       Johnicholas              [ comp.ai is moderated. To submit, just post and be patient, or if ]       [ that fails mail your article to |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca