부산대학교 도서관

ProxyOFF
KOR
Home
Total Search
Catalog

Catalog

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		 ー
ー
독일어
ä Ä ö Ö ü Ü ß                
프랑스어
á à Á À é è É È ç Ç ê        
스페인어
à á Á é É í Í Ó ó Ú ú Ñ ñ ä Ä
Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ  
Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω  
α β γ δ ε ζ η θ ι κ λ μ  
ν ξ ο π ρ ς σ τ υ φ χ ψ ω
À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
Ð Ñ Ò Ó Ô Õ Ö Ø Ù Ú Û Ü Ý Þ ß  
à á â ã ä å æ ç è é ê ë ì í î ï
ð ñ ò ó ô õ ö ø ù ú û ü ý þ ÿ  
А Б В Г Д Е Ё Ж З И Й К Л М Н О П
Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я  
а б в г д е ё ж з и й к л м н о п
р с т у ф х ц ч ш щ ъ ы ь э ю я  
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ
ㅥ ㅦ ㅧ ㅨ ㅩ ㅪ ㅫ ㅬ ㅭ ㅮ ㅯ ㅰ ㅱ ㅲ ㅳ ㅴ ㅵ
ㅶ ㅷ ㅸ ㅹ ㅺ ㅻ ㅼ ㅽ ㅾ ㅿ ㆀ ㆁ ㆂ ㆃ ㆄ ㆅ ㆆ
ㆇ ㆈ ㆉ ㆊ ㆋ ㆌ ㆍ ㆎ                  
′ ″ ℃ Å ￠ ￡ ￥ ¤ ℉ ‰ ＄ ％ Ｆ ￦ ㎕ ㎖ ㎗ ℓ ㎘ ㏄
㎣ ㎤ ㎥ ㎦ ㎙ ㎚ ㎛ ㎜ ㎝ ㎞ ㎟ ㎠ ㎡ ㎢ ㏊ ㎍ ㎎ ㎏    
㏏ ㎈ ㎉ ㏈ ㎧ ㎨ ㎰ ㎱ ㎲ ㎳ ㎴ ㎵ ㎶ ㎷ ㎸ ㎹ ㎀ ㎁    
㎂ ㎃ ㎄ ㎺ ㎻ ㎽ ㎾ ㎿ ㎐ ㎑ ㎒ ㎓ ㎔ Ω ㏀ ㏁ ㎊ ㎋    
㎌ ㏖ ㏅ ㎭ ㎮ ㎯ ㏛ ㎩ ㎪ ㎫ ㎬ ㏝ ㏐ ㏓ ㏃ ㏉ ㏜ ㏆    
± × ÷ ≠ ≤ ≥ ∞ ∴ ∠ ⊥ ⌒ ∂ ∇ ≡ ≒
≪ ≫ √ ∽ ∝ ∵ ∫ ∬ ∈ ∋ ⊆ ⊇ ⊂ ⊃ ∪ ∩ ∧
∨ ￢ ⇒ ⇔ ∀ ∃ ∮ ∑ ∏ ＋ － ＜ ＝ ＞      
  ก ข ฃ ค ฅ ฆ ง จ ฉ ช ซ ฌ ญ ฎ ฏ
ฐ ฑ ฒ ณ ด ต ถ ท ธ น บ ป ผ ฝ พ ฟ
ภ ม ย ร ฤ ล ฦ ว ศ ษ ส ห ฬ อ ฮ ฯ
ะ ั า ำ ิ ี ึ ื ุ ู ฺ         ฿
เ แ โ ใ ไ ๅ ๆ ็ ่ ้ ๊ ๋ ์ ํ ๎ ๏
᠀ ᠁ ᠂ ᠃ ᠄ ᠅ ᠆ ᠇ ᠈ ᠉ ᠊          
᠐ ᠑ ᠒ ᠓ ᠔ ᠕ ᠖ ᠗ ᠘ ᠙            
ᠠ ᠡ ᠢ ᠣ ᠤ ᠥ ᠦ ᠧ ᠨ ᠩ ᠪ ᠫ ᠬ ᠭ ᠮ ᠯ
ᠰ ᠱ ᠲ ᠳ ᠴ ᠵ ᠶ ᠷ ᠸ ᠹ ᠺ ᠻ ᠼ ᠽ ᠾ ᠿ
ᡀ ᡁ ᡂ ᡃ ᡄ ᡅ ᡆ ᡇ ᡈ ᡉ ᡊ ᡋ ᡌ ᡍ ᡎ ᡏ
Resource Type
Language
Published year
-
(예 : 2012 ~ 2018)
The number of output per page
Sort item
Sort order
주제별 검색
Name, Birth/Death Dates   |   Occupation   |   Organizations Catalog Detail
'Catalog' Results sorted by 565Number
Foreign Book
Computer logic : a laboratory workbook
Malmstadt, H. V
Menlo Park : W. A. Benjamin Inc. , 1970.
Nano-Life Science Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Foreign Book
PX, a computational logic
Hayashi, Susumu
Cambridge, Mass. : MIT Press , c1988.
Central Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Understanding Understanding: How Do We Reason About Computational Logic\h[electronic resource]?
Ahmad, Hammad
[S.l.]: University of Michigan. 2024
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Foreign Book
Fundamentals of logic and computation : with practical automated reasoning and verification
Hou, Zhe
Cham, Switzerland : Springer, 2021.
Central Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Foreign Book
Handbook of practical logic and automated reasoning
Harrison, J
Cambridge : Cambridge University Press, 2009.
Central Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Foreign Book
Logic, Language and Computation :8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers
International Tbilisi Symposium on Logic, Language and Computation
Heidelberg : Springer, c2011.
Central Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Foreign Book
Logic of analog and digital machines
Rocchi, Paolo
New York : Nova Science Publishers, c2012.
Central Library
Borrowable
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Bots and beasts[electronic resource] : what makes machines, animals, and people smart?
Thagard, Paul
Cambridge, Massachusetts : The MIT Press, [2021]
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Machine Translation : 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020, Revised Selected Papers
Li, Junhui
Singapore
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Pichardie, David
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Refining search results
Restricted item(1)
All : Computer logic.
Publication Years(54)
Branches(4)
Material Types(3)
Authors(20)
Languages(4)
Publishers(20)
Subjects(20)

Send E-mail

이메일

Please login.