본문

  1. Home
1 Results:PP:COMPUTER SCIENCE 0.62 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Truth, deduction, and computation ; Logic and semantics for computer science
Truth, deduction, and computation ; Logic and semantics for computer science
Davis, Ruth E., 005.12-D263t | Computer Science Press:W. H. Freeman and Company | 1989 005.12-D263t,
처음1마지막
1
Discrete Mathematics & Theoretical Computer Science (DMTCS)
Discrete Mathematics & Theoretical Computer Science (DMTCS) [, ]
2
International Journal of Foundations of Computer Science
World Scientific Publishing Company [, ]
3
Turkish Journal of Electrical Engineering & Computer Sciences
Scientific & Technical Research Council of Turkey [, ]