자료유형 | 학위논문 |
---|---|
서명/저자사항 | Proof Repair. |
개인저자 | Ringer, Talia. |
단체저자명 | University of Washington. Computer Science and Engineering. |
발행사항 | [S.l.]: University of Washington., 2021. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2021. |
형태사항 | 163 p. |
기본자료 저록 | Dissertations Abstracts International 83-03A. Dissertation Abstract International |
ISBN | 9798535500867 |
학위논문주기 | Thesis (Ph.D.)--University of Washington, 2021. |
일반주기 |
Source: Dissertations Abstracts International, Volume: 83-03, Section: A.
Advisor: Grossman, Dan. |
이용제한사항 | This item must not be sold to any third party vendors. |
일반주제명 | Computer science. Research. Language. Students. Pandemics. Algorithms. Advisors. Libraries. Feedback. Access control. Software engineering. Semantics. Engineers. Case studies. |
언어 | 영어 |
바로가기 |
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |