%0 Conference Paper %1 conf/tphol/Harrison93 %A Harrison, John %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 426-435 %T A HOL Decision Procedure for Elementary Real Algebra. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#Harrison93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/Harrison93, added-at = {2019-09-05T00:00:00.000+0200}, author = {Harrison, John}, biburl = {https://www.bibsonomy.org/bibtex/248dfb3aa015770848ea21f4c0d454b7b/dblp}, booktitle = {HUG}, crossref = {conf/tphol/1993}, editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.}, ee = {https://doi.org/10.1007/3-540-57826-9_153}, interhash = {89d2fdd5688c391559ad85f25479f925}, intrahash = {48dfb3aa015770848ea21f4c0d454b7b}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {426-435}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-06T11:46:20.000+0200}, title = {A HOL Decision Procedure for Elementary Real Algebra.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#Harrison93}, volume = 780, year = 1993 }