Browse "School of Computing(전산학부)" by Subject 실수 계산▼a연속적 추상형 자료형▼a계산 해석학▼a명령형 언어▼a프로그램 검증
Showing results 1 to 1 of 1
| Continuous abstract data types for verified computation = 검증된 계산을 위한 연속적 추상형 자료형link Park, Sewon; Ziegler, Martin; et al, 한국과학기술원, 2021 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,816 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989