電腦科學邏輯方法期刊
電腦科學邏輯方法期刊(Logical Methods in Computer Science)創辦於2004年是一份屬於理論計算與應用逻辑的同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點:以達納·史考特為總主編的優秀編輯群,經由创作共用的許可使刊物內容以开放获取的方式發行。
| 学科 | 理論計算機科學 |
|---|---|
| 语言 | 英語 |
| 主编 | 达纳·斯科特 |
| 出版 | |
| 出版历史 | 2005年-目前 |
| 發行週期 | 季刊 |
| 标准缩写 | |
| ISO 4 | |
| 索引 | |
| ISSN | 1860-5974 |
參見
外部連結
- 電腦科學邏輯方法期刊网站 (页面存档备份,存于)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.