%0 Journal Article %1 journals/bit/Nossum85 %A Nossum, Rolf %D 1985 %J BIT %K dblp %N 1 %P 51-64 %T Automated Theorem Proving Methods. %U http://dblp.uni-trier.de/db/journals/bit/bit25.html#Nossum85 %V 25

@article{journals/bit/Nossum85, added-at = {2021-06-22T00:00:00.000+0200}, author = {Nossum, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2f8930827c293313fcaa5e7b7c360e66a/dblp}, ee = {https://doi.org/10.1007/BF01934987}, interhash = {6c865f2e7304e07420d7d731d011358f}, intrahash = {f8930827c293313fcaa5e7b7c360e66a}, journal = {BIT}, keywords = {dblp}, number = 1, pages = {51-64}, timestamp = {2024-04-08T15:11:27.000+0200}, title = {Automated Theorem Proving Methods.}, url = {http://dblp.uni-trier.de/db/journals/bit/bit25.html#Nossum85}, volume = 25, year = 1985 }