Proof Repair
Proof Repair
- 자료유형
- 학위논문파일 국외
- ISBN
- 9798535500867
- DDC
- 004
- 저자명
- Ringer, Talia.
- 서명/저자
- Proof Repair
- 발행사항
- [Sl] : University of Washington, 2021
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- 형태사항
- 163 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 83-03, Section: A.
- 주기사항
- Advisor: Grossman, Dan.
- 학위논문주기
- Thesis (Ph.D.)--University of Washington, 2021.
- 사용제한주기
- 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
- 키워드
- Proof assistants
- 키워드
- Proof automation
- 키워드
- Proof repair
- 키워드
- Verification
- 기타저자
- University of Washington Computer Science and Engineering
- 기본자료저록
- Dissertations Abstracts International. 83-03A.
- 기본자료저록
- Dissertation Abstract International
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
