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.
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
{"_id":"kFZaGfHNQAcrii5x2","bibbaseid":"cohen-rubin-aninteractivesystemforprovingtheoremsinthepredicatecalculus-1971","author_short":["Cohen, J.","Rubin, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2022-03-21T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Cohen"],"firstnames":["Jacques"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Ann"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/279efc8bc55ed2bb67c70e3474add9ebc/dblp","booktitle":"SYMSAC","crossref":"conf/symsac/1971","editor":[{"propositions":[],"lastnames":["Petrick"],"firstnames":["Stanley","R."],"suffixes":[]},{"propositions":[],"lastnames":["Sammet"],"firstnames":["Jean","E."],"suffixes":[]},{"propositions":[],"lastnames":["Tobey"],"firstnames":["Robert","G."],"suffixes":[]},{"propositions":[],"lastnames":["Moses"],"firstnames":["Joel"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/symsac/CohenR71,\n added-at = {2022-03-21T00:00:00.000+0100},\n author = {Cohen, Jacques and Rubin, Ann},\n biburl = {https://www.bibsonomy.org/bibtex/279efc8bc55ed2bb67c70e3474add9ebc/dblp},\n booktitle = {SYMSAC},\n crossref = {conf/symsac/1971},\n editor = {Petrick, Stanley R. and Sammet, Jean E. and Tobey, Robert G. and Moses, Joel},\n ee = {https://doi.org/10.1145/800204.806296},\n interhash = {d20d47fce692184762da49a4dd6849f0},\n intrahash = {79efc8bc55ed2bb67c70e3474add9ebc},\n isbn = {978-1-4503-7786-7},\n keywords = {dblp},\n pages = {268-280},\n publisher = {ACM},\n timestamp = {2024-04-09T18:47:52.000+0200},\n title = {An interactive system for proving theorems in the predicate calculus.},\n url = {http://dblp.uni-trier.de/db/conf/symsac/symsac1971.html#CohenR71},\n year = 1971\n}\n\n","author_short":["Cohen, J.","Rubin, A."],"editor_short":["Petrick, S. R.","Sammet, J. E.","Tobey, R. G.","Moses, J."],"key":"conf/symsac/CohenR71","id":"conf/symsac/CohenR71","bibbaseid":"cohen-rubin-aninteractivesystemforprovingtheoremsinthepredicatecalculus-1971","role":"author","urls":{"Link":"https://doi.org/10.1145/800204.806296","Paper":"http://dblp.uni-trier.de/db/conf/symsac/symsac1971.html#CohenR71"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["interactive","system","proving","theorems","predicate","calculus","cohen","rubin"],"title":"An interactive system for proving theorems in the predicate calculus.","year":1971}