%0 Conference Paper %1 conf/slp/McCartyS94 %A McCarty, L. Thorne %A Shklar, Leon A. %B ILPS %D 1994 %E Bruynooghe, Maurice %I MIT Press %K dblp %P 685 %T A PROLOG Interpreter for First-Order Intuitionistic Logic. %U http://dblp.uni-trier.de/db/conf/slp/slp94.html#McCartyS94 %@ 0-262-52191-1

@inproceedings{conf/slp/McCartyS94, added-at = {2013-12-04T00:00:00.000+0100}, author = {McCarty, L. Thorne and Shklar, Leon A.}, biburl = {https://www.bibsonomy.org/bibtex/20c019295f75d2bd3182005dacd36138f/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1994}, editor = {Bruynooghe, Maurice}, interhash = {c0e102c04dbf91117f321dc7264f80a0}, intrahash = {0c019295f75d2bd3182005dacd36138f}, isbn = {0-262-52191-1}, keywords = {dblp}, pages = 685, publisher = {MIT Press}, timestamp = {2013-12-05T11:34:43.000+0100}, title = {A PROLOG Interpreter for First-Order Intuitionistic Logic.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp94.html#McCartyS94}, year = 1994 }