로직과 연산 저널

Journal of Logic and Computation
로직과 연산 저널
규율컴퓨터 공학
언어영어
편집자도브 가베이
발행내역
역사1990 – 현재
출판사
빈도2개월마다
표준약어
ISO 4J. Log. Computcompute.
인덱싱
ISSN0955-792X(인쇄)
1465-363X(웹)
링크

논리 연산 저널논리컴퓨팅에 초점을 맞춘 동료 검토 학술 저널이다.1990년에 설립되어 옥스퍼드 대학 출판부에서 도브 가베이 교수의 면허를 받아 저널의 소유자로 발행하고 있다.null

외부 링크