電腦科學邏輯方法期刊
學科 | 理論計算機科學 |
---|---|
語言 | 英語 |
主編 | 達納·斯科特 |
出版資訊 | |
出版歷史 | 2005年-目前 |
發行週期 | 季刊 |
標準縮寫 | |
ISO 4 | LMCS |
索引 | |
ISSN | 1860-5974 |
連結 | |
電腦科學邏輯方法期刊(Logical Methods in Computer Science)創辦於2004年是一份屬於理論計算與應用邏輯的同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點:以達納·史考特為總主編的優秀編輯群,經由創作共用的許可使刊物內容以開放獲取的方式發行。
參見
外部連結
![]() | 這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |