대구한의대학교 향산도서관

자료검색

소장자료+타기관자료검색

검색 타입
상세검색
검색어[전방일치/ 주제어:Logic.]
총 7건 중 7건 출력
1/1 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Inference and learning systems for uncertain relational data  미리보기
저자
Cota, Giuseppe
출판사
IOS Press
청구기호
005.1/15
출판년
2018
자료유형
E-Book E-Book URL
소장처
 
2.
서명
Naturalizing Logico-Mathematical Knowledge : Approaches from Philosophy, Psychology and Cognitive Science. First edition  미리보기
저자
Bangu, Sorin
출판사
Routledge
청구기호
160
출판년
2018
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis  미리보기
저자
Barnes, James Samuel
출판사
Cornell University. : ProQuest Dissertations & Theses
청구기호
160
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
4.
서명
The Philosophical Foundations of PLEN: A Protocol-theoretic Logic of Epistemic Norms  미리보기
저자
Jenkins, Ralph
출판사
City University of New York. : ProQuest Dissertations & Theses
청구기호
100
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
5.
서명
The Combinatorics and Absoluteness of Definable Sets of Real Numbers  미리보기
저자
Norwood, Zach
출판사
University of California, Los Angeles. : ProQuest Dissertations & Theses
청구기호
160
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
6.
서명
Computably Enumerable Boolean Algebras  미리보기
저자
Tran, Ying-Ying
출판사
Cornell University. : ProQuest Dissertations & Theses
청구기호
160
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
7.
서명
Pushing the Limits of Compiler Verification  미리보기
저자
Mullen, Eric
출판사
University of Washington. : ProQuest Dissertations & Theses
청구기호
004
출판년
2018
자료유형
학위논문 학위논문 URL
소장처
 
1 
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.