%0 Conference Paper %1 conf/tphol/Simons97 %A Simons, Martin %B TPHOLs %D 1997 %E Gunter, Elsa L. %E Felty, Amy P. %I Springer %K dblp %P 259-274 %T Proof Presentation for Isabelle. %U http://dblp.uni-trier.de/db/conf/tphol/tphol97.html#Simons97 %V 1275 %@ 3-540-63379-0

@inproceedings{conf/tphol/Simons97, added-at = {2019-03-12T00:00:00.000+0100}, author = {Simons, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27067141d5fadc6d28c3a51cf5e5b1d79/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1997}, editor = {Gunter, Elsa L. and Felty, Amy P.}, ee = {https://doi.org/10.1007/BFb0028399}, interhash = {c393020a977c04512453281ee90a4e53}, intrahash = {7067141d5fadc6d28c3a51cf5e5b1d79}, isbn = {3-540-63379-0}, keywords = {dblp}, pages = {259-274}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:57.000+0200}, title = {Proof Presentation for Isabelle.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol97.html#Simons97}, volume = 1275, year = 1997 }