成功大學圖書館電子資源查詢系統

1. Annals of pure and applied logic.

•
資料類型: 電子期刊
•
平台: Elsevier SD Journals - AutoHoldings (Available from 1983/07/01 volume: 24 issue: 1 until 2020/07/31 volume: 171 issue: 7. Most recent 4 year(s) not available.)

問題通報 JCR IF

0 0 0

2. The journal of symbolic logic.

•
資料類型: 電子期刊
•
平台: Cambridge University Press Journals (歷年訂刊) (Available from 2020 until 2022.)
JSTOR Arts and Sciences I (Available from 1936/03/01 volume: 1 issue: 1. Most recent 5 year(s) not available.)

問題通報 JCR IF

0 0 0

3. Archive for mathematical logic.

•
資料類型: 電子期刊
•
平台: EBSCOhost Academic Search Complete (Available from 1996/12/01. Most recent 1 year(s) not available.)
EBSCOhost STM Source (Available from 1996/12/01. Most recent 1 year(s) not available.)
SpringerLink Journals - AutoHoldings (Available from 1950/09/01 volume: 1 issue: 1.)
SpringerLink Online Journals Archive (Available from 1950 until 1996.)

問題通報 JCR IF

0 0 0

4. The bulletin of symbolic logic.

•
資料類型: 電子期刊
•
平台: Cambridge University Press Journals (歷年訂刊) (Available from 2020 until 2022.)
JSTOR Arts and Sciences II (Available from 1995/03/01 volume: 1 issue: 1.)
ProQuest SciTech Premium Collection (Available from 2016/03/01 volume: 22 issue: 1. Most recent 1 year(s) not available.)

問題通報 JCR IF

0 0 0

5. History and philosophy of logic

•
資料類型: 電子期刊
•
平台: EBSCOhost Academic Search Complete (Available from 1999/01/01. Most recent 1 year(s) not available.)
Taylor & Francis Online Journals (Available from 2006 until 2019.)

問題通報 JCR IF

0 0 0

6. The review of symbolic logic.

•
資料類型: 電子期刊
•
平台: Cambridge University Press Journals (歷年訂刊) (Available from 2008 until 2013. Available from 2020 until 2022.)
ProQuest SciTech Premium Collection (Available from 2008/06/01. Most recent 1 year(s) not available.)

問題通報 JCR IF

0 0 0

7. Algebra and logic.

•
資料類型: 電子期刊
•
平台: EBSCOhost Academic Search Complete (Available from 2003/05/01. Most recent 1 year(s) not available.)
EBSCOhost STM Source (Available from 2003/05/01. Most recent 1 year(s) not available.)
SpringerLink Journals - AutoHoldings (Available from 1968/01/01 volume: 7 issue: 1 until 1996/11/01 volume: 34 issue: 6.)
SpringerLink Online Journals Archive (Available from 1968 until 1996.)

問題通報 JCR IF

0 0 0

8. ACM transactions on computational logic.

•
資料類型: 電子期刊
•
平台: ACM Digital Library Complete (Available from 2000/07/01 volume: 1 issue: 1.)
EBSCOhost STM Source (Available from 2006/04/01.)

問題通報 JCR IF

0 0 0

9. Theory and practice of logic programming.

•
資料類型: 電子期刊
•
平台: Cambridge University Press Journals (歷年訂刊) (Available from 2006 until 2013. Available from 2020 until 2022.)
ProQuest SciTech Premium Collection (Available from 2001/01/01 volume: 1 issue: 1. Most recent 1 year(s) not available.)

問題通報 JCR IF

0 0 0

10. Logic journal of the IGPL

•
資料類型: 電子期刊
•
平台: EBSCOhost Business Source Complete (Available from 1997/01/01. Most recent 1 year(s) not available.)
EBSCOhost STM Source (Available from 1997/01/01. Most recent 1 year(s) not available.)
IEEE Xplore All Journals (Available from 1996 volume: 4 issue: 1 until 2020 volume: 31 issue: 1.)
Oxford Journals(NCKU訂購) (Available from 2013 until 2016.)

問題通報 JCR IF

0 0 3

11. Logical methods in computer science : LMCS.

•
資料類型: 電子期刊
•
平台: DOAJ Directory of Open Access Journals (Available from 2004.)
EBSCOhost STM Source (Available from 2013/04/01.)

問題通報 JCR IF

0 0 0

12. Logica universalis.

•
資料類型: 電子期刊
•
平台: SpringerLink Journals - AutoHoldings (Available from 2007/01/01 volume: 1 issue: 1.)

問題通報 JCR IF

0 0 0

13. Reports on mathematical logic.

•
資料類型: 電子期刊
•
平台: EBSCOhost STM Source (Available from 2012/10/01.)
ProQuest SciTech Premium Collection (Available from 2011/01/01 until 2020/12/31. Available from 2022/01/01.)

問題通報 JCR IF

0 0 0

14. Journal of multiple-valued logic and soft computing.

•
資料類型: 電子期刊
•
平台: EBSCOhost STM Source (Available from 2006/05/01.)

問題通報 JCR IF

0 0 0

15. Journal of logical and algebraic methods in programming.

•
資料類型: 電子期刊
•
平台: Elsevier SD Journals - AutoHoldings (Available from 2014/03/01 volume: 83 issue: 2 until 2020/06/30 volume: 113. Most recent 4 year(s) not available.)

問題通報 JCR IF

0 0 0

16. Mathematical logic quarterly : MLQ.

•
資料類型: 電子期刊
•
平台: EBSCOhost Academic Search Complete (Available from 1984/01/01. Most recent 1 year(s) not available.)
EBSCOhost STM Source (Available from 1984/01/01. Most recent 1 year(s) not available.)
Wiley Online Library (Available from 2000 until 2017.)
Wiley Online Library - AutoHoldings Journals (Available from 1996/01/01 volume: 42 issue: 1 until 2016/12/01 volume: 62 issue: 6.)

問題通報 JCR IF

0 0 0

17. Journal of logic and computation.

•
資料類型: 電子期刊
•
平台: EBSCOhost STM Source (Available from 1996/02/01. Most recent 1 year(s) not available.)
IEEE Xplore All Journals (Available from 1996 volume: 6 issue: 1.)
Oxford Journals(NCKU訂購) (Available from 2013 until 2016.)

問題通報 JCR IF

0 0 3

18. Studia logica.

•
資料類型: 電子期刊
•
平台: JSTOR Arts and Sciences VII (Available from 1953/01/01 volume: 1. Most recent 4 year(s) not available.)
SpringerLink Journals - AutoHoldings (Available from 2016/02/01 volume: 104 issue: 1 until 2017/12/01 volume: 105 issue: 6. Available from 1953/12/01 volume: 1 issue: 1 until 1996/10/01 volume: 57 issue: 2.)
SpringerLink Online Journals Archive (Available from 1953 until 1996.)

問題通報 JCR IF

0 0 0

19. Journal of logic, language, and information.

•
資料類型: 電子期刊
•
平台: JSTOR Arts and Sciences VI (Available from 1992/01/01 volume: 1 issue: 1. Most recent 4 year(s) not available.)
SpringerLink Journals - AutoHoldings (Available from 2016/03/01 volume: 25 issue: 1 until 2017/12/01 volume: 26 issue: 4. Available from 1992/03/01 volume: 1 issue: 1 until 1996/10/01 volume: 5 issue: 3.)
SpringerLink Online Journals Archive (Available from 1992 until 1996.)
SpringerLink Online Journals Archive (HUSO) (Available from 1992 until 1996.)

問題通報 JCR IF

0 0 0

資源編號	EJ000003954
資料類型	電子期刊
ISSN(printed)	0168-0072
ISSN(online)	1873-2461
語言	英語
狀態	訂購
平台	Elsevier SD Journals - AutoHoldings (Available from 1983/07/01 volume: 24 issue: 1 until 2020/07/31 volume: 171 issue: 7. Most recent 4 year(s) not available.)
主題	資訊科技、數學

資源編號	EJ000002742
資料類型	電子期刊
ISSN(printed)	0022-4812
ISSN(online)	1943-5886
語言	英語
狀態	訂購
平台	Cambridge University Press Journals (歷年訂刊) (Available from 2020 until 2022.) JSTOR Arts and Sciences I (Available from 1936/03/01 volume: 1 issue: 1. Most recent 5 year(s) not available.)
主題	數學、藝術與人文

資源編號	EJ000005652
資料類型	電子期刊
ISSN(printed)	0933-5846
ISSN(online)	1432-0665
語言	英語
狀態	訂購
平台	EBSCOhost Academic Search Complete (Available from 1996/12/01. Most recent 1 year(s) not available.) EBSCOhost STM Source (Available from 1996/12/01. Most recent 1 year(s) not available.) SpringerLink Journals - AutoHoldings (Available from 1950/09/01 volume: 1 issue: 1.) SpringerLink Online Journals Archive (Available from 1950 until 1996.)
主題	數學

資源編號	EJ000001202
資料類型	電子期刊
ISSN(printed)	1079-8986
ISSN(online)	1943-5894
語言	英語
狀態	訂購
平台	Cambridge University Press Journals (歷年訂刊) (Available from 2020 until 2022.) JSTOR Arts and Sciences II (Available from 1995/03/01 volume: 1 issue: 1.) ProQuest SciTech Premium Collection (Available from 2016/03/01 volume: 22 issue: 1. Most recent 1 year(s) not available.)
主題	資訊科技、數學、藝術與人文

資源編號	EJ000001348
資料類型	電子期刊
ISSN(printed)	0144-5340
ISSN(online)	1464-5149
語言	英語
狀態	訂購
平台	EBSCOhost Academic Search Complete (Available from 1999/01/01. Most recent 1 year(s) not available.) Taylor & Francis Online Journals (Available from 2006 until 2019.)
主題	社會科學、健康科學、數學、藝術與人文

資源編號	EJ000037005
資料類型	電子期刊
ISSN(printed)	1755-0203
ISSN(online)	1755-0211
語言	英語
狀態	訂購
平台	Cambridge University Press Journals (歷年訂刊) (Available from 2008 until 2013. Available from 2020 until 2022.) ProQuest SciTech Premium Collection (Available from 2008/06/01. Most recent 1 year(s) not available.)
主題	數學

資源編號	EJ000011304
資料類型	電子期刊
ISSN(printed)	0002-5232
ISSN(online)	1573-8302
語言	英語
狀態	訂購
平台	EBSCOhost Academic Search Complete (Available from 2003/05/01. Most recent 1 year(s) not available.) EBSCOhost STM Source (Available from 2003/05/01. Most recent 1 year(s) not available.) SpringerLink Journals - AutoHoldings (Available from 1968/01/01 volume: 7 issue: 1 until 1996/11/01 volume: 34 issue: 6.) SpringerLink Online Journals Archive (Available from 1968 until 1996.)
主題	數學

資源編號	EJ000067025
資料類型	電子期刊
ISSN(printed)	1529-3785
ISSN(online)	1557-945X
語言	英語
狀態	訂購
平台	ACM Digital Library Complete (Available from 2000/07/01 volume: 1 issue: 1.) EBSCOhost STM Source (Available from 2006/04/01.)
主題	資訊科技、數學

資源編號	EJ000063718
資料類型	電子期刊
ISSN(printed)	1471-0684
ISSN(online)	1475-3081
語言	英語
狀態	訂購
平台	Cambridge University Press Journals (歷年訂刊) (Available from 2006 until 2013. Available from 2020 until 2022.) ProQuest SciTech Premium Collection (Available from 2001/01/01 volume: 1 issue: 1. Most recent 1 year(s) not available.)
主題	資訊科技、數學

資源編號	EJ000012004
資料類型	電子期刊
ISSN(printed)	1367-0751
ISSN(online)	1368-9894
語言	英語
狀態	訂購
平台	EBSCOhost Business Source Complete (Available from 1997/01/01. Most recent 1 year(s) not available.) EBSCOhost STM Source (Available from 1997/01/01. Most recent 1 year(s) not available.) IEEE Xplore All Journals (Available from 1996 volume: 4 issue: 1 until 2020 volume: 31 issue: 1.) Oxford Journals(NCKU訂購) (Available from 2013 until 2016.)
主題	數學

資源編號	EJ000028278
資料類型	電子期刊
ISSN(printed)	1860-5974
語言	英語
狀態	訂購
平台	DOAJ Directory of Open Access Journals (Available from 2004.) EBSCOhost STM Source (Available from 2013/04/01.)
主題	資訊科技、數學

資源編號	EJ000031085
資料類型	電子期刊
ISSN(printed)	1661-8297
ISSN(online)	1661-8300
語言	英語
狀態	訂購
平台	SpringerLink Journals - AutoHoldings (Available from 2007/01/01 volume: 1 issue: 1.)
主題	數學

資源編號	EJ000067807
資料類型	電子期刊
ISSN(printed)	0137-2904
ISSN(online)	2084-2589
語言	英語
狀態	訂購
平台	EBSCOhost STM Source (Available from 2012/10/01.) ProQuest SciTech Premium Collection (Available from 2011/01/01 until 2020/12/31. Available from 2022/01/01.)
主題	數學

資源編號	EJ000067849
資料類型	電子期刊
ISSN(printed)	1542-3980
ISSN(online)	1542-3999
語言	英語
狀態	訂購
平台	EBSCOhost STM Source (Available from 2006/05/01.)
主題	資訊科技、數學

資源編號	EJ000068255
資料類型	電子期刊
ISSN(printed)	2352-2208
ISSN(online)	2352-2216
語言	英語
狀態	訂購
平台	Elsevier SD Journals - AutoHoldings (Available from 2014/03/01 volume: 83 issue: 2 until 2020/06/30 volume: 113. Most recent 4 year(s) not available.)

資源編號	EJ000007306
資料類型	電子期刊
ISSN(printed)	0942-5616
ISSN(online)	1521-3870
語言	英語
狀態	訂購
平台	EBSCOhost Academic Search Complete (Available from 1984/01/01. Most recent 1 year(s) not available.) EBSCOhost STM Source (Available from 1984/01/01. Most recent 1 year(s) not available.) Wiley Online Library (Available from 2000 until 2017.) Wiley Online Library - AutoHoldings Journals (Available from 1996/01/01 volume: 42 issue: 1 until 2016/12/01 volume: 62 issue: 6.)
主題	資訊科技、數學

資源編號	EJ000007319
資料類型	電子期刊
ISSN(printed)	0955-792X
ISSN(online)	1465-363X
語言	英語
狀態	訂購
平台	EBSCOhost STM Source (Available from 1996/02/01. Most recent 1 year(s) not available.) IEEE Xplore All Journals (Available from 1996 volume: 6 issue: 1.) Oxford Journals(NCKU訂購) (Available from 2013 until 2016.)
主題	資訊科技、數學

資源編號	EJ000007353
資料類型	電子期刊
ISSN(printed)	0039-3215
ISSN(online)	1572-8730
語言	英語
狀態	訂購
平台	JSTOR Arts and Sciences VII (Available from 1953/01/01 volume: 1. Most recent 4 year(s) not available.) SpringerLink Journals - AutoHoldings (Available from 2016/02/01 volume: 104 issue: 1 until 2017/12/01 volume: 105 issue: 6. Available from 1953/12/01 volume: 1 issue: 1 until 1996/10/01 volume: 57 issue: 2.) SpringerLink Online Journals Archive (Available from 1953 until 1996.)
主題	資訊科技、數學、藝術與人文

資源編號	EJ000007386
資料類型	電子期刊
ISSN(printed)	0925-8531
ISSN(online)	1572-9583
語言	英語
狀態	訂購
平台	JSTOR Arts and Sciences VI (Available from 1992/01/01 volume: 1 issue: 1. Most recent 4 year(s) not available.) SpringerLink Journals - AutoHoldings (Available from 2016/03/01 volume: 25 issue: 1 until 2017/12/01 volume: 26 issue: 4. Available from 1992/03/01 volume: 1 issue: 1 until 1996/10/01 volume: 5 issue: 3.) SpringerLink Online Journals Archive (Available from 1992 until 1996.) SpringerLink Online Journals Archive (HUSO) (Available from 1992 until 1996.)
主題	資訊科技、數學、藝術與人文