부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
171
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
What kind of linearly distributive category do polynomial functors form?
Report
Spivak, David I.
;
Srinivasan, Priyaa Varshinee
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Polynomial Construction of Nerves for Higher Categories
Report
Shapiro, Brandon T.
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad
Report
Libkind, Sophie
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Organizing Physics with Open Energy-Driven Systems
Report
Capucci, Matteo
;
Lynch, Owen
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Polynomial Functors: A Mathematical Theory of Interaction
Report
Niu, Nelson
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Hypergraph categories
Academic Journal
Fong, Brendan
;
Spivak, David I.
In
Journal of Pure and Applied Algebra
November 2019 223(11):4746-4777
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
All Concepts are $\mathbb{C}\mathbf{at}^\#$
Report
Lynch, Owen
;
Shapiro, Brandon T.
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Structures on Categories of Polynomials
Report
Shapiro, Brandon T.
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Dynamic Tracing: a graphical language for rewriting protocols
Report
Brown, Kristopher
;
Spivak, David I.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Algebraic Model Management: A Survey
Report
Schultz, Patrick
;
Spivak, David I.
;
Wisnesky, Ryan
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
15
16
17
18
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Spivak, David I.
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
arXiv
(71)
MathSciNet via EBSCOhost
(35)
Science Citation Index Expanded
(18)
Complementary Index
(15)
Academic Search Complete
(13)
ScienceDirect
(4)
Supplemental Index
(4)
Gale Academic OneFile
(3)
Springer Nature Journals
(3)
IEEE Xplore Digital Library
(2)
ACM Full-Text Collection
(1)
Oxford Scholarship Online
(1)
SwePub
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
plos one
(8)
journal of pure and applied algebra
(6)
communications in contemporary mathematics
(4)
theory and applications of categories
(4)
applied categorical structures
(3)
information and computation
(3)
journal of automated reasoning
(3)
journal of complex networks
(3)
proceedings of the 3rd annual international applied category theory conference 2020
(3)
proceedings of the american mathematical society
(3)
acs biomaterials science & engineering
(2)
advanced engineering materials
(2)
algebraic \& geometric topology
(2)
algebraic and geometric topology
(2)
categories for the working philosopher
(2)
computational materials science
(2)
duke mathematical journal
(2)
entropy
(2)
international journal of mathematics & mathematical sciences
(2)
international journal of mathematics and mathematical sciences
(2)
journal of computing & information science in engineering
(2)
journal of pure & applied algebra
(2)
mathematical structures in computer science
(2)
nano today
(2)
proceedings of the fourth international conference on applied category theory
(2)
proceedings---fifth international conference on applied category theory
(2)
theory & applications of categories
(2)
2016 ieee international symposium on systems engineering (isse)
(1)
2016 ieee international symposium on systems engineering (isse), systems engineering (isse), 2016 ieee international symposium on
(1)
2019 34th annual acm/ieee symposium on logic in computer science (lics)
(1)
2021 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2021 ieee/rsj international conference on
(1)
applied categorical structures. a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science
(1)
applied categorical structures: a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science
(1)
bionanoscience
(1)
entropy. an international and interdisciplinary journal of entropy and information studies
(1)
graph transformation
(1)
information & computation
(1)
interactive theorem proving (9783319089690)
(1)
journal of computing and information science in engineering
(1)
journal of logic and computation
(1)
journal of mathematical physics
(1)
logical foundations of computer science
(1)
logical foundations of computer science: international symposium, lfcs 2016, deerfield beach, fl, usa, january 4-7, 2016. proceedings
(1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science
(1)
nanotechnology
(1)
proceedings of the 15th symposium on database programming languages
(1)
proceedings---applied category theory 2019
(1)
the graduate journal of mathematics
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
eptcs, [place of publication not identified]
(8)
elsevier b.v.
(7)
public library of science
(6)
springer nature
(5)
hindawi limited
(3)
ieee
(3)
american mathematical society
(2)
american society of mechanical engineers
(2)
elsevier science bv
(2)
geometry & topology publications
(2)
mdpi
(2)
mount allison univ
(2)
public library science
(2)
springer netherlands
(2)
theory & applications of categories
(2)
world scientific publishing company
(2)
academic press inc elsevier science
(1)
academic press inc.
(1)
amer chemical soc
(1)
asme
(1)
birkhauser/springer, cham
(1)
cambridge univ press
(1)
cambridge university press
(1)
cambridge university press, cambridge
(1)
duke univ press
(1)
elsevier inc.
(1)
elsevier sci ltd
(1)
ieee, [piscataway], nj
(1)
iop publishing ltd
(1)
mit press, cambridge, ma
(1)
oxford univ. press, oxford
(1)
oxford university press
(1)
oxford university press / usa
(1)
proquest llc, ann arbor, mi
(1)
springer
(1)
springer us
(1)
springer, [cham]
(1)
springer, cham
(1)
wiley-blackwell
(1)
wiley-v c h verlag gmbh
(1)
world scientific publ co pte ltd
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(74)
Reports
(71)
Reviews
(35)
Conference Materials
(16)
Books
(7)
Magazines
(2)
eBooks
(1)
add
remove
더보기
zoom_in
재검색
주제어
mathematics - category theory
(55)
computer science - databases
(14)
category theory
(11)
computer science - logic in computer science
(9)
databases
(8)
mathematics - logic
(8)
categories (mathematics)
(7)
data migration
(7)
dynamical systems
(7)
mathematics - dynamical systems
(7)
monoidal categories
(7)
mathematics - algebraic topology
(6)
operads
(6)
mathematics
(5)
algebra
(4)
biomaterials
(4)
computer science - artificial intelligence
(4)
computer science - machine learning
(4)
computer science - robotics
(4)
data integration
(4)
h.2.1
(4)
sheaf theory
(4)
topos theory
(4)
biology
(3)
computer science - discrete mathematics
(3)
computer science - programming languages
(3)
cospan
(3)
design
(3)
f.4.1
(3)
frobenius algebra
(3)
manufacturing
(3)
music
(3)
ontology
(3)
strength
(3)
theory
(3)
adjoint functors
(2)
algebraic theories
(2)
amyloid beta-protein
(2)
arts
(2)
biological systems
(2)
biomechanics
(2)
blowing up (algebraic geometry)
(2)
brain-computer interfaces
(2)
bundle
(2)
comparative studies
(2)
complexes
(2)
computer science - information retrieval
(2)
computer science - information theory
(2)
computer systems
(2)
d.3.3
(2)
add
remove
더보기
zoom_in
재검색
언어
english
(96)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기