%0 Conference Paper %1 conf/mkm/JanicicB07 %A Janicic, Predrag %A Bundy, Alan %B Calculemus/MKM %D 2007 %E Kauers, Manuel %E Kerber, Manfred %E Miner, Robert %E Windsteiger, Wolfgang %I Springer %K dblp %P 80-93 %T Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#JanicicB07 %V 4573 %@ 978-3-540-73083-5

@inproceedings{conf/mkm/JanicicB07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Janicic, Predrag and Bundy, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2d9db6a1752eb8a13612d81116d71055e/dblp}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2007}, editor = {Kauers, Manuel and Kerber, Manfred and Miner, Robert and Windsteiger, Wolfgang}, ee = {https://doi.org/10.1007/978-3-540-73086-6_7}, interhash = {07b166e748083b2f4c6807f02234964b}, intrahash = {d9db6a1752eb8a13612d81116d71055e}, isbn = {978-3-540-73083-5}, keywords = {dblp}, pages = {80-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:18:02.000+0200}, title = {Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2007.html#JanicicB07}, volume = 4573, year = 2007 }