|||
2014年SCIE收录逻辑学期刊20种,其中SCI收录5种、SCI、A&HCI共同收录期刊4种。
2014年SCI收录逻辑学学科期刊20种目录
SCIENCE CITATION INDEX EXPANDED
LOGIC - JOURNAL LIST
Total journals: 20
注:★SCI、A&HCI共同收录期刊4种
1. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC《美国计算机学会计算逻辑汇刊》 Quarterly ISSN: 1529-3785
ASSOC COMPUTINGMACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY,10121-0701
1. ScienceCitation Index Expanded
2. ALGEBRA AND LOGIC《代数与逻辑》 Bimonthly ISSN: 0002-5232
SPRINGER, 233SPRING ST, NEW YORK, USA,NY, 10013
1. ScienceCitation Index Expanded
3. ANNALS OF PURE AND APPLIED LOGIC《理论与应用逻辑纪事》 Monthly ISSN: 0168-0072
ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE
1. ScienceCitation Index
2. ScienceCitation Index Expanded
4. ARCHIVE FOR MATHEMATICAL LOGIC《数理逻辑文献》 Bimonthly ISSN: 1432-0665
SPRINGER, 233SPRING ST, NEW YORK, USA,NY, 10013
1. ScienceCitation Index
2. ScienceCitation Index Expanded
5. BULLETIN OF SYMBOLIC LOGIC《符号逻辑通报》 Quarterly ISSN: 1079-8986
ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA,NY, 12604-0001
1. ScienceCitation Index
2. ScienceCitation Index Expanded
6. ★HISTORY AND PHILOSOPHY OF LOGIC《逻辑史和逻辑哲学》Quarterly ISSN:0144-5340
TAYLOR &FRANCIS LTD, 4 PARK SQUARE, MILTON PARK, ABINGDON, ENGLAND, OXON, OX14 4RN
1. ScienceCitation Index Expanded
2. Arts& Humanities Citation Index
7. JOURNAL OF APPLIED LOGIC《应用逻辑学杂志》 Quarterly ISSN: 1570-8683
ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE
1. ScienceCitation Index Expanded
8. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING《逻辑与代数程序设计杂志》 Bimonthly ISSN: 1567-8326
ELSEVIER SCIENCEINC, 360 PARK AVE SOUTH, NEW YORK, USA,NY, 10010-1710
1. ScienceCitation Index
2. ScienceCitation Index Expanded
9. JOURNAL OF LOGIC AND COMPUTATION《逻辑与计算杂志》Bimonthly ISSN: 0955-792X
OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP
1. ScienceCitation Index Expanded
10. JOURNAL OF MATHEMATICAL LOGIC《数理逻辑杂志》 Semiannual ISSN: 0219-0613
WORLD SCIENTIFICPUBL CO PTE LTD, 5 TOH TUCK LINK, SINGAPORE,SINGAPORE,596224
1. ScienceCitation Index Expanded
11. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING《多值逻辑与软计算杂志》 Quarterly ISSN: 1542-3980
OLD CITYPUBLISHING INC, 628 NORTH 2ND ST, PHILADELPHIA, USA,PA, 19123
1. ScienceCitation Index Expanded
12. JOURNAL OF SYMBOLIC LOGIC《符号逻辑杂志》 Quarterly ISSN: 0022-4812
ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA,NY, 12604-0001
1. ScienceCitation Index
2. ScienceCitation Index Expanded
13. LOGIC JOURNAL OF THE IGPL《IGPL逻辑杂志》 BimonthlyISSN: 1367-0751
OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP
1. ScienceCitation Index Expanded
14. LOGICAL METHODS IN COMPUTER SCIENCE《计算机科学的逻辑方法》Irregular ISSN: 1860-5974
TECH UNIVBRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23,BRAUNSCHWEIG, GERMANY, 38106
1. ScienceCitation Index Expanded
15. MATHEMATICAL LOGIC QUARTERLY《数理逻辑季刊》 Bimonthly ISSN: 0942-5616
WILEY-V CH VERLAG GMBH, BOSCHSTRASSE 12, WEINHEIM, GERMANY, D-69469
1. ScienceCitation Index Expanded
16. ★NOTRE DAME JOURNAL OF FORMAL LOGIC《圣母大学形式逻辑学杂志》 Quarterly ISSN: 0029-4527
DUKE UNIV PRESS,905 W MAIN ST, STE 18-B, DURHAM, USA, NC, 27701
1. ScienceCitation Index Expanded
2. Arts& Humanities Citation Index
17. REPORTS ON MATHEMATICAL LOGIC《数理逻辑报告》Annual ISSN: 0137-2904
JAGIELLONIANUNIV, INST ENVIRONMENTAL SCIENCES, GRONOSTAJOWA 7, KRAKOW, POLAND, 30-387
1. ScienceCitation Index Expanded
18. ★REVIEW OF SYMBOLIC LOGIC《符号逻辑评论》 Quarterly ISSN: 1755-0203
CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS, NEW YORK, USA,NY, 10013-2473
1. ScienceCitation Index Expanded
2. Arts& Humanities Citation Index
19. ★STUDIA LOGICA《逻辑学研究》 Monthly ISSN: 0039-3215
SPRINGER, 233 SPRINGST, NEW YORK, USA,NY, 10013
1. ScienceCitation Index Expanded
2. Arts& Humanities Citation Index
20. THEORY AND PRACTICE OF LOGIC PROGRAMMING《逻辑程序设计理论与实践》Bimonthly ISSN: 1471-0684
CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS, NEW YORK, USA,NY, 10013-2473
1. ScienceCitation Index Expanded
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-7-28 02:30
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社