%0 Conference Paper %1 conf/aaai/Tyson82 %A Tyson, Mabry %B AAAI %D 1982 %E Waltz, David L. %I AAAI Press %K dblp %P 225-228 %T Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. %U http://dblp.uni-trier.de/db/conf/aaai/aaai82.html#Tyson82 %@ 0-262-51051-0

@inproceedings{conf/aaai/Tyson82, added-at = {2023-09-04T00:00:00.000+0200}, author = {Tyson, Mabry}, biburl = {https://www.bibsonomy.org/bibtex/27d8983c7577fc9e3e1eb552cf4e30bcd/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1982}, editor = {Waltz, David L.}, ee = {http://www.aaai.org/Library/AAAI/1982/aaai82-054.php}, interhash = {4405284fc7552430b6845e7096f8ade0}, intrahash = {7d8983c7577fc9e3e1eb552cf4e30bcd}, isbn = {0-262-51051-0}, keywords = {dblp}, pages = {225-228}, publisher = {AAAI Press}, timestamp = {2024-04-10T14:52:55.000+0200}, title = {Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai82.html#Tyson82}, year = 1982 }