부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술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)
'학술논문'
에서 검색결과
351
건 | 목록
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
Robust Argumentation Machines
eBook
Open Access (OAPEN)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Feature logic for dotted types :a formalism for complex word meanings
Pinkal, Manfred
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Test for Evaluating the Practical Usefulness of Deduction Systems
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Mechanising Partiality without Re-Implementation
Kerber, Manfred
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Kohlhase, Michael
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Methods - The Basic Units for Planning and Verifying Proofs
Huang, Xiaorong
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Framework for Defining Declarative Languages
Horozal, Feryal Fulya
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Tableau Calculus for Partial Functions
A Tableau Calculus for Partial Functions
Kohlhase, Michael
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Dynamic Lambda Calculus
Kohlhase, Michael
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Towards a Dynamic Type Theory
Kohlhase, Michael
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Kohlhase, Michael
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Complementary Index
(141)
Supplemental Index
(45)
MathSciNet via EBSCOhost
(38)
arXiv
(31)
Europeana
(23)
Springer Nature Journals
(17)
Science Citation Index Expanded
(12)
ACM Full-Text Collection
(9)
Gale Academic OneFile
(5)
Academic Search Complete
(5)
Journals@OVID
(5)
ScienceDirect
(4)
De Gruyter Online
(3)
Business Source Complete
(3)
IEEE Xplore Digital Library
(3)
JSTOR Journals
(2)
Library, Information Science & Technology Abstracts
(2)
Gale General OneFile
(2)
MLA International Bibliography
(1)
OAPEN Library
(1)
SwePub
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
ki 2006: advances in artificial intelligence
(39)
omdoc - an open markup format for mathematical documents
(36)
mathematical knowledge management
(26)
journal of automated reasoning
(17)
mathematics in computer science
(8)
logic journal of the igpl
(6)
information systems management
(5)
journal of applied non-classical logics
(5)
journal of network & systems management
(5)
journal of logic, language and information
(4)
automated reasoning
(3)
formal aspects of computing
(3)
information and computation
(3)
journal of formalized reasoning
(3)
journal of network and systems management
(3)
journal of symbolic computation
(3)
logical methods in computer science
(3)
mathematical intelligencer
(3)
proceedings of the 10th asic and 9th mkm international conference, and 17th calculemus conference on intelligent computer mathematics
(3)
acm sigsam bulletin
(2)
automated deduction---cade-12 (nancy, 1994)
(2)
datenbank-spektrum: zeitschrift fur datenbanktechnologien und information retrieval
(2)
informatik - forschung und entwicklung
(2)
intelligent computer mathematics
(2)
it - information technology
(2)
journal of symbolic logic
(2)
kognitionswissenschaft
(2)
mathematical software---icms 2016
(2)
optical & quantum electronics
(2)
optical and quantum electronics
(2)
procedia computer science
(2)
proceedings of the 27th acm international conference on design of communication
(2)
proceedings of the 29th acm international conference on design of communication
(2)
proceedings of the ieee
(2)
the journal of symbolic logic
(2)
the mathematical intelligencer
(2)
2012 14th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2012 14th international symposium on
(1)
2017 international conference on numerical simulation of optoelectronic devices (nusod), numerical simulation of optoelectronic devices (nusod), 2017 international conference on
(1)
2023 ieee 2nd german education conference (gecon), german education conference (gecon), 2023 ieee 2nd
(1)
acm sigsam bulletin - special issue of openmath
(1)
electronic notes in theoretical computer science
(1)
formal aspects of computing: applicable formal methods
(1)
informatik forschung und entwicklung
(1)
information & computation
(1)
journal of logic, language, and information
(1)
ki - kunstliche intelligenz: german journal of artificial intelligence
(1)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)
(1)
mitteilungen der deutschen mathematiker-vereinigung
(1)
natural language processing and speech technology: results of the 3rd konvens conference, bielefeld, october 1996
(1)
proceedings of the 6th international conference on semantic systems
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer nature
(162)
technical university of kaiserslautern, department of computer science
(20)
technische universitat kaiserslautern, fachbereich informatik
(20)
springer
(9)
association for computing machinery
(8)
springer, berlin
(8)
ieee
(5)
springer, cham
(5)
oxford university press / usa
(4)
taylor & francis ltd
(4)
de gruyter
(3)
elsevier b.v.
(3)
kluwer academic publishers
(3)
springer berlin heidelberg
(3)
springer us
(3)
springer, [cham]
(3)
springer-verlag
(3)
birkhauser-verlag
(2)
oxford univ press
(2)
universita di bologna, alma mater studiorum
(2)
academic press inc elsevier science
(1)
academic press inc.
(1)
acm
(1)
association for symbolic logic, inc.
(1)
auerbach publications
(1)
coll. publ., london
(1)
de gruyter oldenbourg
(1)
elsevier inc.
(1)
elsevier ltd
(1)
eptcs, [place of publication not identified]
(1)
ieee-inst electrical electronics engineers inc
(1)
kaufmann
(1)
kluwer acad. publ., dordrecht
(1)
mit press, cambridge, ma
(1)
saarlandische universitats- und landesbibliothek
(1)
schloss dagstuhl. leibniz-zent. inform., wadern
(1)
sp birkhauser verlag basel
(1)
springer nature switzerland
(1)
springer netherlands
(1)
springer, vienna
(1)
springer-verlag berlin
(1)
springer-verlag london limited
(1)
tech univ braunschweig
(1)
warren, gorham & lamont, inc.
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Books
(147)
Academic Journals
(95)
Conference Materials
(40)
Reviews
(38)
Reports
(31)
Magazines
(14)
eBooks
(1)
add
remove
더보기
zoom_in
재검색
주제어
computer science
(117)
artificial intelligence (incl. robotics)
(111)
mathematics, general
(66)
information storage and retrieval
(65)
mathematical logic and formal languages
(42)
symbolic and algebraic manipulation
(38)
library science
(36)
database management
(31)
computer communication networks
(30)
information systems applications (incl.internet)
(30)
semantics
(13)
mathematics
(11)
computer science - logic in computer science
(10)
knowledge management
(10)
computer science - mathematical software
(8)
ontology
(8)
world wide web
(8)
computer science - digital libraries
(7)
mathematical models
(6)
computer science - artificial intelligence
(5)
computer science - computation and language
(5)
computer science - software engineering
(5)
h.3.5
(5)
informatik
(5)
knowledge representation
(5)
resource description framework
(5)
semantic indexing
(5)
semantic search
(5)
drift-diffusion equations
(4)
electronic data processing
(4)
fault management
(4)
logics and meanings of programs
(4)
mizar
(4)
research data
(4)
translation
(4)
user modeling
(4)
68t35, 68t30
(3)
citizenship
(3)
f.4.m
(3)
h.5.3
(3)
h.5.4
(3)
hypermedia
(3)
i.2.4
(3)
i.7.2
(3)
information storage & retrieval systems
(3)
interaction
(3)
internet searching
(3)
j.2
(3)
logical frameworks
(3)
optoelectronic devices
(3)
add
remove
더보기
zoom_in
재검색
언어
english
(297)
german
(7)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기