MARC보기
LDR01659nam u200469 4500
001000000468186
00520220223113344
008220131s2021 us ||||||||||||||c||eng d
020 ▼a 9798460430871
035 ▼a (MiAaPQ)AAI28548674
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 247004
0820 ▼a 004
1001 ▼a Sanchez-Stern, Alex.
24510 ▼a Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs.
260 ▼a [S.l.]: ▼b University of California, San Diego., ▼c 2021.
260 1 ▼a Ann Arbor: ▼b ProQuest Dissertations & Theses, ▼c 2021.
300 ▼a 99 p.
500 ▼a Source: Dissertations Abstracts International, Volume: 83-04, Section: B.
500 ▼a Advisor: Lerner, Sorin.
5021 ▼a Thesis (Ph.D.)--University of California, San Diego, 2021.
506 ▼a This item must not be sold to any third party vendors.
590 ▼a School code: 0033.
650 4 ▼a Computer science.
650 4 ▼a Computer engineering.
650 4 ▼a Artificial intelligence.
690 ▼a 0984
690 ▼a 0464
690 ▼a 0800
71020 ▼a University of California, San Diego. ▼b Computer Science and Engineering.
7730 ▼t Dissertations Abstracts International ▼g 83-04B.
773 ▼t Dissertation Abstract International
790 ▼a 0033
791 ▼a Ph.D.
792 ▼a 2021
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T16052915 ▼n KERIS ▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다.
980 ▼a 202202 ▼f 2022
990 ▼a ***1012033
991 ▼a E-BOOK