Advanced search options
You searched for +publisher:"University of Texas – Austin" +contributor:("Aiken, Alex")
. One record found.
▼ Search Limiters
University of Texas – Austin
1. Feng, Yu, Ph. D. Program synthesis using statistical models and logical reasoning.
Degree: PhD, Computer Science, 2018, University of Texas – Austin
URL: http://hdl.handle.net/2152/68452
Subjects/Keywords: Program synthesis; Logical reasoning
Record Details
Similar Records
❌
APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager
APA (6th Edition):
Feng, Yu, P. D. (2018). Program synthesis using statistical models and logical reasoning. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68452
Chicago Manual of Style (16th Edition):
Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed January 24, 2021. http://hdl.handle.net/2152/68452.
MLA Handbook (7th Edition):
Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 24 Jan 2021.
Vancouver:
Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Jan 24]. Available from: http://hdl.handle.net/2152/68452.
Council of Science Editors:
Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68452