Symbolic Computation and Satisfiability Checking
- 期刊名称Journal of Symbolic Computation
- 作者Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare
- 印刷ISSN0747-7171
- 文件大小328.53KB
- 发表时间2019-7
- DOI10.1016/j.jsc.2019.07.017
Skull base trauma: Diagnosis and managementSamii, Madjid; Tatagiba, Marcos · Neurological Research · 2002
Stroke and dementiaPinkston, James B.; Alekseeva, Nadejda; González Toledo, Eduardo · Neurological Research · 2009
Matrix metalloproteinases in intracerebral hemorrhageXue, Mengzhou; Yong, V. Wee · Neurological Research · 2008
HBO and gas embolismFukaya, Eri; Hopf, Harriet W. · Neurological Research · 2007
Hyperbaric oxygen and cerebral physiologyCalvert, John W.; Cahill, Julian; Zhang, John H. · Neurological Research · 2007
Radiosurgery for arteriovenous malformationsFriedman, William A; Bova, Frank J · Neurological Research · 2011
Ischemic optic neuropathyAthappilly, Geetha; Pelak, Victoria S.; Mandava, Naresh; Bennett, Jeffrey L. · Neurological Research · 2008
Treatment of symptoms in multiple sclerosisSchwendimann, Robert N. · Neurological Research · 2006