부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술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)
'학술논문'
에서 검색결과
219
건 | 목록
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
Structure theorem and strict alternation hierarchy for FO2 on words
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Structure theorem and strict alternation hierarchy for FO2 on words
Weis, Philipp
;
Immerman, Neil
Open Access (Europeana)
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Parallel Play Saves Quantifiers
Report
Carmosino, Marco
;
Fagin, Ronald
;
Immerman, Neil
;
Kolaitis, Phokion
;
Lenchner, Jonathan
;
Sengupta, Rik
;
Williams, Ryan
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
What Juris Hartmanis taught me about Reductions
Report
Immerman, Neil
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Multi-Structural Games and Beyond
Report
Carmosino, Marco
;
Fagin, Ronald
;
Immerman, Neil
;
Kolaitis, Phokion
;
Lenchner, Jonathan
;
Sengupta, Rik
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Recognizing patterns in streams with imprecise timestamps
Academic Journal
Zhang, Haopeng
;
Diao, Yanlei
;
Immerman, Neil
In
Information Systems
November 2013 38(8):1187-1211
Full Text (ScienceDirect)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Summing Up Smart Transitions
Report
Elad, Neta
;
Rain, Sophie
;
Immerman, Neil
;
Kovács, Laura
;
Sagiv, Mooly
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Applicability conditions for plans with loops: Computability results and algorithms
Academic Journal
Srivastava, Siddharth
;
Immerman, Neil
;
Zilberstein, Shlomo
In
Artificial Intelligence
November 2012 191-192:1-19
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Open Access (EBSCO)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A new representation and associated algorithms for generalized planning
Academic Journal
Srivastava, Siddharth
;
Immerman, Neil
;
Zilberstein, Shlomo
In
Artificial Intelligence
2011 175(2):615-647
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Open Access (EBSCO)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Complexity and Information in Invariant Inference
Report
Feldman, Yotam M. Y.
;
Immerman, Neil
;
Sagiv, Mooly
;
Shoham, Sharon
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Immerman, Neil
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
MathSciNet via EBSCOhost
(63)
ACM Full-Text Collection
(31)
Complementary Index
(27)
Scopus®
(17)
arXiv
(14)
Science Citation Index Expanded
(14)
ScienceDirect
(13)
Academic Search Complete
(7)
Supplemental Index
(7)
JSTOR Journals
(6)
IEEE Xplore Digital Library
(5)
Gale Academic OneFile
(4)
Education Source
(3)
Springer Nature Journals
(2)
Gale General OneFile
(2)
Business Source Complete
(2)
Europeana
(2)
Library, Information Science & Technology Abstracts
(1)
Communication & Mass Media Complete
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
acm siglog news
(13)
journal of computer and system sciences
(13)
artificial intelligence
(10)
siam journal on computing
(10)
logical methods in computer science
(9)
information and computation
(6)
information systems
(6)
acm / sigplan notices
(5)
acm sigplan notices
(5)
mathematics of operations research
(5)
theoretical computer science
(5)
journal of symbolic logic
(4)
proceedings - symposium on logic in computer science
(4)
the journal of symbolic logic
(4)
combinatorica
(3)
computer aided verification
(3)
information and control
(3)
acm transactions on computational logic
(2)
american scientist
(2)
computer science logic
(2)
information processing letters
(2)
journal of computer & system sciences
(2)
mathematical foundations of computer science 2005
(2)
proceedings of the acm international conference: object oriented programming systems languages & applications
(2)
the bulletin of symbolic logic
(2)
2008 ieee 24th international conference on data engineering, data engineering, 2008. icde 2008. ieee 24th international conference on
(1)
20th annual symposium on foundations of computer science (sfcs 1979)
(1)
20th annual symposium on foundations of computer science (sfcs 1979), foundations of computer science, 1979., 20th annual symposium on
(1)
21st annual symposium on foundations of computer science (sfcs 1980)
(1)
21st annual symposium on foundations of computer science (sfcs 1980), foundations of computer science, 1980., 21st annual symposium on
(1)
22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on
(1)
annual symposium on foundations of computer science - proceedings
(1)
annual symposium on foundations of computer science (proceedings)
(1)
computer aided verification (9783540374060)
(1)
computer aided verification (9783642397981)
(1)
conference proceedings of the annual acm symposium on theory of computing
(1)
ecoop 2012 - object-oriented programming
(1)
fields of logic & computation
(1)
logic & program semantics
(1)
logic for programming, artificial intelligence & reasoning: 19th international conference, lpar-19, stellenbosch, south africa, december 14-19, 2013, proceedings
(1)
proceeding structure in complexity theory, proc. structure complexity theory
(1)
proceedings of the 2008 acm sigmod international conference: management of data
(1)
proceedings of the 2014 acm sigmod international conference management of data
(1)
proceedings of the 41st acm sigplan-sigact symposium principles of programming languages
(1)
proceedings of the fourteenth annual acm symposium: theory of computing
(1)
proceedings of the ieee annual structure in complexity theory conference
(1)
proceedings of the tenth acm sigact-sigmod-sigart symposium: principles of database systems
(1)
proceedings of the thirteenth acm sigact-sigmod-sigart symposium: principles of database systems
(1)
the vldb journal: the international journal on very large data bases
(1)
theoretical aspects of reasoning about knowledge
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
elsevier b.v.
(16)
acm
(14)
association for computing machinery
(14)
ieee
(14)
springer, berlin
(11)
springer nature
(10)
elsevier inc.
(6)
publ by ieee
(6)
assoc computing machinery
(5)
society for industrial & applied mathematics
(3)
springer, heidelberg
(3)
springer, new york
(3)
tech univ braunschweig
(3)
academic press inc.
(2)
elsevier science bv
(2)
ieee, new york
(2)
informs: institute for operations research
(2)
pub4722
(2)
springer-verlag
(2)
vldb endowment
(2)
academic press inc elsevier science
(1)
acm (order n 508830)
(1)
amer. math. soc., providence, ri
(1)
annual reviews, palo alto, ca
(1)
association for symbolic logic, inc.
(1)
elsevier ltd
(1)
ieee comput. soc. press, los alamitos, ca
(1)
ieee, long beach, ca
(1)
institute for operations research and the management sciences
(1)
internat. begegnungs- und forschungszentrum fur informatik
(1)
logical methods computer science e v
(1)
pergamon-elsevier science ltd
(1)
proquest llc, ann arbor, mi
(1)
sigma xi, the scientific research honor society, inc.
(1)
springer
(1)
springer, cham
(1)
springer-verlag, new york
(1)
world sci. publ., river edge, nj
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(113)
Conference Materials
(69)
Reviews
(67)
Reports
(14)
Books
(11)
Magazines
(6)
add
remove
더보기
zoom_in
재검색
주제어
computer science
(11)
algorithms
(9)
computer science - logic in computer science
(8)
logic
(8)
computational complexity
(7)
databases
(7)
automated planning
(6)
computer science - computational complexity
(6)
polynomials
(6)
application software
(5)
artificial intelligence
(5)
computing and processing
(5)
data streams
(5)
mathematics
(5)
semantics
(5)
verification
(5)
automata
(4)
combinatorial optimization
(4)
data modeling
(4)
f.4.1
(4)
pattern recognition systems
(4)
plans with loops
(4)
strategic planning
(4)
timestamps
(4)
turing machines
(4)
workload of computer networks
(4)
auditing
(3)
computer science - programming languages
(3)
invariant inference
(3)
logics and meanings of programs
(3)
markov decision process
(3)
markov processes
(3)
privacy
(3)
synthesis
(3)
05 c 85
(2)
automation
(2)
complexity
(2)
computable functions
(2)
computer science - databases
(2)
constraint satisfaction problem
(2)
decision making
(2)
descriptive complexity
(2)
distributed systems
(2)
dominance
(2)
f.3.1
(2)
finite differencing
(2)
finite groups
(2)
first-order logic
(2)
garbage collector
(2)
generalized planning
(2)
add
remove
더보기
zoom_in
재검색
언어
english
(194)
german
(1)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기