본문

  1. Home
2 Results:SS:PROOFASSISTANT 0.31 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
A Framework for Reasoning About LF Specifications
A Framework for Reasoning About LF Specifications
Southern, Mary. | University of Minnesota | 2021
미리보기
위치정보
2
Proof Repair
Proof Repair
Ringer, Talia. | University of Washington | 2021
미리보기
위치정보
처음1마지막