상세정보
Export to Refworks부가기능
Some Results in Proof Complexity and SAT-Solving
상세 프로파일
| 자료유형 | 학위논문 |
|---|---|
| 서명/저자사항 | Some Results in Proof Complexity and SAT-Solving. |
| 개인저자 | Pang, Shuo. |
| 단체저자명 | The University of Chicago. Mathematics. |
| 발행사항 | [S.l.]: The University of Chicago., 2022. |
| 발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2022. |
| 형태사항 | 180 p. |
| 기본자료 저록 | Dissertations Abstracts International 83-12B. Dissertation Abstract International |
| ISBN | 9798834008408 |
| 학위논문주기 | Thesis (Ph.D.)--The University of Chicago, 2022. |
| 일반주기 |
Source: Dissertations Abstracts International, Volume: 83-12, Section: B.
Advisor: Razborov, Alexander. |
| 이용제한사항 | This item must not be sold to any third party vendors. |
| 일반주제명 | Mathematics. Computer science. |
| 언어 | 영어 |
| 바로가기 | 
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
