%0 Conference Paper %1 conf/lpar/McMathRS01 %A McMath, David %A Rozenfeld, Marianna %A Sommer, Richard %B LPAR %D 2001 %E Nieuwenhuis, Robert %E Voronkov, Andrei %I Springer %K dblp %P 507-516 %T A Computer Environment for Writing Ordinary Mathematical Proofs. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#McMathRS01 %V 2250 %@ 3-540-42957-3

@inproceedings{conf/lpar/McMathRS01, added-at = {2017-05-23T00:00:00.000+0200}, author = {McMath, David and Rozenfeld, Marianna and Sommer, Richard}, biburl = {https://www.bibsonomy.org/bibtex/23b68af26376dc291bd7c71881016f94c/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2001}, editor = {Nieuwenhuis, Robert and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-45653-8_35}, interhash = {9e466f330b623214541ba4fd798f285a}, intrahash = {3b68af26376dc291bd7c71881016f94c}, isbn = {3-540-42957-3}, keywords = {dblp}, pages = {507-516}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:00.000+0200}, title = {A Computer Environment for Writing Ordinary Mathematical Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#McMathRS01}, volume = 2250, year = 2001 }