%0 Journal Article %1 journals/jbcb/AnaiOH06 %A Anai, Hirokazu %A Orii, Shigeo %A Horimoto, Katsuhisa %D 2006 %J J. Bioinform. Comput. Biol. %K dblp %N 5 %P 1097-1118 %T Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. %U http://dblp.uni-trier.de/db/journals/jbcb/jbcb4.html#AnaiOH06 %V 4

@article{journals/jbcb/AnaiOH06, added-at = {2020-06-04T00:00:00.000+0200}, author = {Anai, Hirokazu and Orii, Shigeo and Horimoto, Katsuhisa}, biburl = {https://www.bibsonomy.org/bibtex/231ee8cb0a5cb6b4043bb0127cdd67840/dblp}, ee = {https://www.wikidata.org/entity/Q51105388}, interhash = {2e5ed287308a09936575c2a8e30976dc}, intrahash = {31ee8cb0a5cb6b4043bb0127cdd67840}, journal = {J. Bioinform. Comput. Biol.}, keywords = {dblp}, number = 5, pages = {1097-1118}, timestamp = {2020-06-05T12:17:28.000+0200}, title = {Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination.}, url = {http://dblp.uni-trier.de/db/journals/jbcb/jbcb4.html#AnaiOH06}, volume = 4, year = 2006 }