%0 Conference Paper %1 conf/lopstr/Miller15 %A Miller, Dale %B LOPSTR %D 2015 %E Falaschi, Moreno %I Springer %K dblp %P 3-17 %T Proof Checking and Logic Programming. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#Miller15 %V 9527 %@ 978-3-319-27435-5

@inproceedings{conf/lopstr/Miller15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/2611219896c18da309a2d012aa2c28837/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2015}, editor = {Falaschi, Moreno}, ee = {https://doi.org/10.1007/978-3-319-27436-2_1}, interhash = {e468111df8072a45a2f7ac7f57055a94}, intrahash = {611219896c18da309a2d012aa2c28837}, isbn = {978-3-319-27435-5}, keywords = {dblp}, pages = {3-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:27:00.000+0200}, title = {Proof Checking and Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#Miller15}, volume = 9527, year = 2015 }