‘Edinburgh LCF (Computer system)’ 검색 결과

2건

Edinburgh LCF

Michael J. C. Gordon, 1979

Machine assisted proofs of recursion implementation

Avra Jean Cohn, 1979

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기목록 넣기