서브메뉴
검색
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
상세정보
- 자료유형
- 학위논문
- Control Number
- 0016618902
- International Standard Book Number
- 9798351440088
- Dewey Decimal Classification Number
- 004
- Main Entry-Personal Name
- Li, Yao.
- Publication, Distribution, etc. (Imprint
- [S.l.] : University of Pennsylvania., 2022
- Publication, Distribution, etc. (Imprint
- Ann Arbor : ProQuest Dissertations & Theses, 2022
- Physical Description
- 143 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 84-04, Section: B.
- General Note
- Advisor: Weirich, Stephanie.
- Dissertation Note
- Thesis (Ph.D.)--University of Pennsylvania, 2022.
- Restrictions on Access Note
- This item must not be sold to any third party vendors.
- Subject Added Entry-Topical Term
- Computer science.
- Index Term-Uncontrolled
- Coq
- Index Term-Uncontrolled
- Embedding
- Index Term-Uncontrolled
- Formal verification
- Index Term-Uncontrolled
- Functional programming
- Index Term-Uncontrolled
- Mechanized reasoning
- Index Term-Uncontrolled
- Programming language
- Added Entry-Corporate Name
- University of Pennsylvania Computer and Information Science
- Host Item Entry
- Dissertations Abstracts International. 84-04B.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:625180
MARC
008230216s2022 ulk 00 kor■001000016618902
■00520230206105700
■020 ▼a9798351440088
■035 ▼a(MiAaPQ)AAI29320058
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aLi, Yao.
■24510▼aMechanized Reasoning about "How" Using Functional Programs and Embeddings.
■260 ▼a[S.l.]▼bUniversity of Pennsylvania. ▼c2022
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2022
■300 ▼a143 p.
■500 ▼aSource: Dissertations Abstracts International, Volume: 84-04, Section: B.
■500 ▼aAdvisor: Weirich, Stephanie.
■5021 ▼aThesis (Ph.D.)--University of Pennsylvania, 2022.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0175.
■650 4▼aComputer science.
■653 ▼aCoq
■653 ▼aEmbedding
■653 ▼aFormal verification
■653 ▼aFunctional programming
■653 ▼aMechanized reasoning
■653 ▼aProgramming language
■690 ▼a0984
■71020▼aUniversity of Pennsylvania▼bComputer and Information Science.
■7730 ▼tDissertations Abstracts International▼g84-04B.
■773 ▼tDissertation Abstract International
■790 ▼a0175
■791 ▼aPh.D.
■792 ▼a2022
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16618902▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202302▼f2023
미리보기
내보내기
chatGPT토론
Ai 추천 관련 도서
Info Détail de la recherche.
- Réservation
- 캠퍼스간 도서대출
- 서가에 없는 책 신고
- My Folder
