Surgical Correction of Enophthalmos and Diplopia. By Robert H. Mathog, Robert P. Hillstrom, and Frank A. Nesi. Arch Otolaryngol Head Neck Surg 1989; 15
- 期刊名称Ophthalmic Plastic & Reconstructive Surgery
- 作者Stephenson, Charles M.
- 卷第5卷
- 期第4期
- 印刷ISSN0740-9303
- 文件大小169.53KB
- 发表时间1989-12
- DOI10.1097/00002341-198912000-00016
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007