Readings in Artificial Intelligence and Software Engineering || A Deductive Approach to Program Synthesis This research was supported in part by the National Science Foundation under Grants MCS 76-83655 and MCS 78-02591, in part by the Office of Naval Research under Contracts N00014-76-C-0687 and N00014-75-C-0816, in part by the Defense Advanced Research Projects Agency of the Department of Defense under Contract MDA903-76-C-0206, and in part by the United States–Israel Binational Science Foundation.
- 作者MANNA, ZOHAR
- 文件大小1712.16KB
- 发表时间1986
- DOI10.1016/b978-0-934613-12-5.50006-9
- 页码3-34
Diagnosis and Treatment of Severe HematocheziaJensen, Dennis M.; Machicado, Gustavo A. · Gastroenterology · 1988
Bleeding colonic angiomas and radiation telangiectasias: Endoscopic diagnosis and treatmentGustavo A. Machicado; Dennis M. Jensen · 2001
Endoscopic Hemostasis of Ulcer Hemorrhage with Injection, Thermal, and Combination MethodsDennis M. Jensen; Gustavo A. Machicado · 2005
Thermal probes alone or with epinephrine for the endoscopic haemostasis of ulcer haemorrhageGustavo A. Machicado; Dennis M. Jensen · 2000
Rectal Ulcers Causing Severe Hematochezia: Update On Diagnosis, Hemostasis, Healing & OutcomesDennis M. Jensen; Thomas O. Kovacs; Rome Jutabha; Gordon V. Ohning; Gareth S. Dulai; Gustavo A. Machicado · 2007
Controlled Study of Different Sclerosing Agents for Coagulation of Canine Gut ArteriesRandall, Gayle M.; Jensen, Dennis M.; Hirabayashi, Kenneth; Machicado, Gustavo A. · Gastroenterology · 1989
Comparison of different methods for endoscopic hemostasis of bleeding canine esophageal varicesJensen, Dennis M.; Silpa, Michael L.; Tapia, Jorge I.; Beilin, Daniel B.; Machicado, Gustavo A. · Gastroenterology · 1983