상세정보
Export to Refworks부가기능
A Framework for Reasoning About LF Specifications
상세 프로파일
| 자료유형 | 학위논문 |
|---|---|
| 서명/저자사항 | A Framework for Reasoning About LF Specifications. |
| 개인저자 | Southern, Mary. |
| 단체저자명 | University of Minnesota. Computer Science. |
| 발행사항 | [S.l.]: University of Minnesota., 2021. |
| 발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2021. |
| 형태사항 | 189 p. |
| 기본자료 저록 | Dissertations Abstracts International 83-02B. Dissertation Abstract International |
| ISBN | 9798534688078 |
| 학위논문주기 | Thesis (Ph.D.)--University of Minnesota, 2021. |
| 일반주기 |
Source: Dissertations Abstracts International, Volume: 83-02, Section: B.
Advisor: Nadathur, Gopalan. |
| 이용제한사항 | This item must not be sold to any third party vendors. |
| 일반주제명 | Computer science. Information technology. Logic. Language. Variables. Calculus. Validity. Syntax. Semantics. |
| 언어 | 영어 |
| 바로가기 | 
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
