%0 Conference Paper %1 journals/corr/JoostenKU14 %A Joosten, Sebastiaan J. C. %A Kaliszyk, Cezary %A Urban, Josef %B ACL2 %D 2014 %E Verbeek, Freek %E Schmaltz, Julien %K dblp %P 77-85 %T Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14 %V 152

@inproceedings{journals/corr/JoostenKU14, added-at = {2022-03-16T00:00:00.000+0100}, author = {Joosten, Sebastiaan J. C. and Kaliszyk, Cezary and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2ebb17dacad91bcf9d87420a0cbea6645/dblp}, booktitle = {ACL2}, crossref = {journals/corr/VerbeekS14}, editor = {Verbeek, Freek and Schmaltz, Julien}, ee = {https://www.wikidata.org/entity/Q108482163}, interhash = {e3da3d42cda54cf43f669cdddda150f0}, intrahash = {ebb17dacad91bcf9d87420a0cbea6645}, keywords = {dblp}, pages = {77-85}, series = {EPTCS}, timestamp = {2024-04-10T05:34:07.000+0200}, title = {Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#JoostenKU14}, volume = 152, year = 2014 }