전남대학교 중앙도서관

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- Academic Journals (10)
- Reports (3)
- Reviews (2)
자료유형

Count Name
- Academic Journals (10)
- Reports (3)
- Reviews (2)
- eBooks (2)
- Conference Materials (1)
- Magazines (1)
닫기
주제
- computer science - logic in computer science (3)
- magnetic films (3)
- academic achievement (2)
주제

Count Name
- computer science - logic in computer science (3)
- magnetic films (3)
- academic achievement (2)
- education (2)
- faraday effect (2)
- hysteresis (2)
- kerr electro-optical effect (2)
- mathematical models (2)
- mathematics (2)
- mathematics contests (2)
- societies (2)
- superconductors (2)
- 68t15, 03b35, 03b80, 03b15, 08a05, 03c10, 03c68, 03c75, 20b05, 54h20 (1)
- category theory (1)
- critical current density (1)
- defects (1)
- f.4 (1)
- ferromagnet (1)
- films (1)
- formal methods (1)
- formalized mathematics (1)
- hall probe microscopy (1)
- high-temperature superconductors (1)
- hilbert's tenth problem (1)
- i.2.3 (1)
- interactive theorem proving (1)
- isabelle (1)
- magnetics (1)
- magnetooptic effect (1)
- mathematics - category theory (1)
- mathematics - history and overview (1)
- mathematics - logic (1)
- origin (1)
- outgrowth (1)
- proof assistants (1)
- scanning squid microscopy (1)
- spectroscopy (1)
- superconducting materials (1)
- superconducting thin-films (1)
- superconductivity (1)
- superconductor (1)
- t-c superconductors (1)
- vortex-glass (1)
- xmcd (1)
- x-rays (1)
- yba2cu3o7-delta (1)
- yba2cu3o7-x (1)
- ybco (1)
- yttrium barium copper oxide (1)
닫기
간행물
- aip advances (3)
- mitteilungen der dmv (3)
- notices of the american mathematical society (2)
간행물

Count Name
- aip advances (3)
- mitteilungen der dmv (3)
- notices of the american mathematical society (2)
- 10th international conference on interactive theorem proving (1)
- ieee transactions on applied superconductivity (1)
- intelligent computer mathematics : 12th international conference, cicm 2019, prague, czech republic, july 8-12, 2019, proceedings (1)
- intelligent computer mathematics : 16th international conference, cicm 2023, cambridge, uk, , september 5-8, 2023 proceedings (1)
- mitteilungen der deutschen mathematiker-vereinigung (1)
- new journal of physics (1)
닫기
출판사
- de gruyter (3)
- american institute of physics (2)
- amer inst physics (1)
출판사

Count Name
- de gruyter (3)
- american institute of physics (2)
- amer inst physics (1)
- american mathematical society (1)
- ieee-inst electrical electronics engineers inc (1)
- iop publishing ltd (1)
- schloss dagstuhl. leibniz-zent. inform., wadern (1)
- springer international publishing (1)
- springer nature switzerland (1)
닫기
언어
- english (8)
- german (3)
Publication Year
- 2017 (1)
- 2018 (1)
수록데이터베이스
- arXiv (3)
- Complementary Index (3)
- Science Citation Index Expanded (3)
수록데이터베이스

Count Name
- arXiv (3)
- Complementary Index (3)
- Science Citation Index Expanded (3)
- Academic Search Complete (2)
- MathSciNet via EBSCOhost (2)
- Springer Nature eBooks (2)
- De Gruyter Online (1)
- Supplemental Index (1)
닫기

링크메뉴

주메뉴

전자자료 상세검색

전자자료 상세검색

전체선택