KAIST

[알림판목록 I] [알림판목록 II] [글목록][이 전][다 음]

[ KAIST ] in KIDS 글 쓴 이(By): stdream (버뜰란뜨) 날 짜 (Date): 2003년 6월 10일 화요일 오후 07시 59분 17초 제 목(Title): [Q] Model 에 대해서. formal system 에서.. model, interpretation 이 많이 등장 하는데요.. 이러한 의미론에 대한 것들을 공부하려면 기본적으로 무슨 책을 보아야 하나요?

[알림판목록 I] [알림판목록 II] [글 목록][이 전][다 음]

키 즈 는 열 린 사 람 들 의 모 임 입 니 다.