An interactive system for proving theorems in the predicate calculus. Cohen, J. & Rubin, A. In Petrick, S. R., Sammet, J. E., Tobey, R. G., & Moses, J., editors, SYMSAC, pages 268-280, 1971. ACM.
An interactive system for proving theorems in the predicate calculus. [link]Link  An interactive system for proving theorems in the predicate calculus. [link]Paper  bibtex   
@inproceedings{conf/symsac/CohenR71,
  added-at = {2022-03-21T00:00:00.000+0100},
  author = {Cohen, Jacques and Rubin, Ann},
  biburl = {https://www.bibsonomy.org/bibtex/279efc8bc55ed2bb67c70e3474add9ebc/dblp},
  booktitle = {SYMSAC},
  crossref = {conf/symsac/1971},
  editor = {Petrick, Stanley R. and Sammet, Jean E. and Tobey, Robert G. and Moses, Joel},
  ee = {https://doi.org/10.1145/800204.806296},
  interhash = {d20d47fce692184762da49a4dd6849f0},
  intrahash = {79efc8bc55ed2bb67c70e3474add9ebc},
  isbn = {978-1-4503-7786-7},
  keywords = {dblp},
  pages = {268-280},
  publisher = {ACM},
  timestamp = {2024-04-09T18:47:52.000+0200},
  title = {An interactive system for proving theorems in the predicate calculus.},
  url = {http://dblp.uni-trier.de/db/conf/symsac/symsac1971.html#CohenR71},
  year = 1971
}

Downloads: 0