부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색

통합검색

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		 ー
ー
독일어
ä Ä ö Ö ü Ü ß                
프랑스어
á à Á À é è É È ç Ç ê        
스페인어
à á Á é É í Í Ó ó Ú ú Ñ ñ ä Ä
Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ  
Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω  
α β γ δ ε ζ η θ ι κ λ μ  
ν ξ ο π ρ ς σ τ υ φ χ ψ ω
À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
Ð Ñ Ò Ó Ô Õ Ö Ø Ù Ú Û Ü Ý Þ ß  
à á â ã ä å æ ç è é ê ë ì í î ï
ð ñ ò ó ô õ ö ø ù ú û ü ý þ ÿ  
А Б В Г Д Е Ё Ж З И Й К Л М Н О П
Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я  
а б в г д е ё ж з и й к л м н о п
р с т у ф х ц ч ш щ ъ ы ь э ю я  
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ
ㅥ ㅦ ㅧ ㅨ ㅩ ㅪ ㅫ ㅬ ㅭ ㅮ ㅯ ㅰ ㅱ ㅲ ㅳ ㅴ ㅵ
ㅶ ㅷ ㅸ ㅹ ㅺ ㅻ ㅼ ㅽ ㅾ ㅿ ㆀ ㆁ ㆂ ㆃ ㆄ ㆅ ㆆ
ㆇ ㆈ ㆉ ㆊ ㆋ ㆌ ㆍ ㆎ                  
′ ″ ℃ Å ￠ ￡ ￥ ¤ ℉ ‰ ＄ ％ Ｆ ￦ ㎕ ㎖ ㎗ ℓ ㎘ ㏄
㎣ ㎤ ㎥ ㎦ ㎙ ㎚ ㎛ ㎜ ㎝ ㎞ ㎟ ㎠ ㎡ ㎢ ㏊ ㎍ ㎎ ㎏    
㏏ ㎈ ㎉ ㏈ ㎧ ㎨ ㎰ ㎱ ㎲ ㎳ ㎴ ㎵ ㎶ ㎷ ㎸ ㎹ ㎀ ㎁    
㎂ ㎃ ㎄ ㎺ ㎻ ㎽ ㎾ ㎿ ㎐ ㎑ ㎒ ㎓ ㎔ Ω ㏀ ㏁ ㎊ ㎋    
㎌ ㏖ ㏅ ㎭ ㎮ ㎯ ㏛ ㎩ ㎪ ㎫ ㎬ ㏝ ㏐ ㏓ ㏃ ㏉ ㏜ ㏆    
± × ÷ ≠ ≤ ≥ ∞ ∴ ∠ ⊥ ⌒ ∂ ∇ ≡ ≒
≪ ≫ √ ∽ ∝ ∵ ∫ ∬ ∈ ∋ ⊆ ⊇ ⊂ ⊃ ∪ ∩ ∧
∨ ￢ ⇒ ⇔ ∀ ∃ ∮ ∑ ∏ ＋ － ＜ ＝ ＞      
  ก ข ฃ ค ฅ ฆ ง จ ฉ ช ซ ฌ ญ ฎ ฏ
ฐ ฑ ฒ ณ ด ต ถ ท ธ น บ ป ผ ฝ พ ฟ
ภ ม ย ร ฤ ล ฦ ว ศ ษ ส ห ฬ อ ฮ ฯ
ะ ั า ำ ิ ี ึ ื ุ ู ฺ         ฿
เ แ โ ใ ไ ๅ ๆ ็ ่ ้ ๊ ๋ ์ ํ ๎ ๏
᠀ ᠁ ᠂ ᠃ ᠄ ᠅ ᠆ ᠇ ᠈ ᠉ ᠊          
᠐ ᠑ ᠒ ᠓ ᠔ ᠕ ᠖ ᠗ ᠘ ᠙            
ᠠ ᠡ ᠢ ᠣ ᠤ ᠥ ᠦ ᠧ ᠨ ᠩ ᠪ ᠫ ᠬ ᠭ ᠮ ᠯ
ᠰ ᠱ ᠲ ᠳ ᠴ ᠵ ᠶ ᠷ ᠸ ᠹ ᠺ ᠻ ᠼ ᠽ ᠾ ᠿ
ᡀ ᡁ ᡂ ᡃ ᡄ ᡅ ᡆ ᡇ ᡈ ᡉ ᡊ ᡋ ᡌ ᡍ ᡎ ᡏ
소장자료(Catalog)
564
더보기
Computer logic : a laboratory workbook
Malmstadt, H. V
Menlo Park : W. A. Benjamin Inc. , 1970.
나노생명과학도서관
대출가능
PX, a computational logic
Hayashi, Susumu
Cambridge, Mass. : MIT Press , c1988.
중앙도서관
대출가능
Understanding Understanding: How Do We Reason About Computational Logic\h[electronic resource]?
Ahmad, Hammad
[S.l.]: University of Michigan. 2024
중앙도서관
전자자료게시
Fundamentals of logic and computation : with practical automated reasoning and verification
Hou, Zhe
Cham, Switzerland : Springer, 2021.
중앙도서관
대출가능
Handbook of practical logic and automated reasoning
Harrison, J
Cambridge : Cambridge University Press, 2009.
중앙도서관
대출가능
학술논문(e-Article)
-
더보기
전자저널(e-Journal)
-
더보기
전자책(e-Book)
-
더보기
문의하기
검색문의 051-510-1306, 1832
중앙도서관 3층 전산지원팀