MARC

 008220131s2021        us                              c    eng  d
■020    ▼a9798535500867
■035    ▼a(MiAaPQ)AAI28546929
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aRinger,  Talia.
■24510▼aProof  Repair
■260    ▼a[Sl]▼bUniversity  of  Washington▼c2021
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2021
■300    ▼a163  p
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  83-03,  Section:  A.
■500    ▼aAdvisor:  Grossman,  Dan.
■5021  ▼aThesis  (Ph.D.)--University  of  Washington,  2021.
■506    ▼aThis  item  must  not  be  sold  to  any  third  party  vendors.
■590    ▼aSchool  code:  0250.
■650  4▼aComputer  science
■650  4▼aResearch
■650  4▼aLanguage
■650  4▼aStudents
■650  4▼aPandemics
■650  4▼aAlgorithms
■650  4▼aAdvisors
■650  4▼aLibraries
■650  4▼aFeedback
■650  4▼aAccess  control
■650  4▼aSoftware  engineering
■650  4▼aSemantics
■650  4▼aEngineers
■650  4▼aCase  studies
■653    ▼aDependent  type  theory
■653    ▼aProof  assistants
■653    ▼aProof  automation
■653    ▼aProof  engineering
■653    ▼aProof  repair
■653    ▼aVerification
■690    ▼a0984
■690    ▼a0679
■71020▼aUniversity  of  Washington▼bComputer  Science  and  Engineering.
■7730  ▼tDissertations  Abstracts  International▼g83-03A.
■773    ▼tDissertation  Abstract  International
■790    ▼a0250
■791    ▼aPh.D.
■792    ▼a2021
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16052775▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.
■980    ▼a202202▼f2022

Preview

Export

ChatGPT Discussion

AI Recommended Related Books