컴퓨터 과학의 논리적 방법
Logical Methods in Computer Science| 규율 | 이론 전산학 |
|---|---|
| 언어 | 영어 |
| 편집자 | 스테판 밀리우스 |
| 발행내역 | |
| 역사 | 2005-현재 |
| 출판사. | 컴퓨터 과학의 논리적 방법 |
| 빈도 | 분기별의 |
| 네 | |
| 면허증 | Creative Commons BY 4.0(2018년[1] 전후), Creative Commons BYND(2017년 전후) |
| 0.661 (2016) | |
| 표준약어 | |
| ISO 4 | 로그. 메서드 계산.공상과학. |
| 인덱싱 | |
| ISSN | 1860-5974 |
| OCLC no. | 897996717 |
| 링크 | |
)LMCS(Logical Methods in Computer Science, LMCS)는 이론 컴퓨터 과학과 응용 논리를 다루는 동료가 검토한 개방형 접근 과학 저널이다.2004년 9월 1일 제출에 개시되었다.[2]편집장은 스테판 밀리어스(Friedrich-Alexander Universitetht Elangen-Nürnberg)이다.
역사
이 저널은 처음에는 국제 계산 논리 연맹에 의해 출판되었고, 그 다음엔 전용 비영리 단체에 의해 출판되었다.그것은 Episcience로 이동했다.2017년 플랫폼.[3]초대 편집장은 다나 스콧이었다.이 잡지는 창간 첫 해에 75건의 출품작을 받았다.[4]
추상화 및 색인화
저널은 Current Contents/Engineering, Computing & Technology,[5] Matheical Reviews,[5] Scopus, [6]Zentralblat MATH에서 추상화 및 색인화된다.[7]Journal Incorporation Reports에 따르면, 저널은 2016년 영향인자가 0.661이다.[8]
참조
- ^ "Logical Methods in Computer Science - Copyright". 2018-05-01. Archived from the original on 1 May 2018. Retrieved 2022-01-18.
- ^ "Gmane -- Mail To News And Back Again". 2005-11-29. Archived from the original on 29 November 2005. Retrieved 2022-01-18.
- ^ "Logical Methods in Computer Science - Home". 2017-02-22. Archived from the original on 22 February 2017. Retrieved 2022-01-18.
- ^ rzach (2005-10-25). "Logical Methods in Computer Science". Richard Zach. Retrieved 2022-01-18.
- ^ a b "Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10.
- ^ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10.
- ^ "Serials Database". Zentralblatt MATH. Springer Science+Business Media. Archived from the original on 2017-11-07. Retrieved 2018-04-10.
- ^ "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.
외부 링크
