계산논리에 의한 ACM거래
ACM Transactions on Computational Logic| 규율 | 계산 논리학 |
|---|---|
| 언어 | 영어 |
| 편집자 | 오르나 쿠퍼만 |
| 발행내역 | |
| 역사 | 2000-현재 |
| 출판사 | ACM(미국) |
| 빈도 | 분기별의 |
| 표준약어 | |
| ISO 4 | ACM Trans.계산하다.로그. |
| 인덱싱 | |
| ISSN | 1529-3785(인쇄) 1557-945X(웹) |
| 링크 | |
)ACM Transactions on Computing Logic(ACM TOCL)은 컴퓨터 과학의 논리학 분야에서 가장 최근의 노트 발견을 전파하는 것을 목적으로 하는 과학 저널이다.그것은 미국의 컴퓨터 과학과 컴퓨터 기술에 관한 최고의 과학 및 교육 사회인 컴퓨터 기계 협회에서 발행한다.null
참고 항목
- ACM SIGLOG, 연산논리에 대한 ACM의 특별 이익집단
