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

자료검색

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

검색 타입
상세검색
검색어[전방일치/ 주제어:Logic Symbolic and mathematical]
총 6건 중 6건 출력
1/1 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Reasoning about uncertainty [electronic resource]. Second edition  미리보기
저자
Halpern, Joseph Y.
출판사
The MIT Press
청구기호
003/.54
출판년
2017
자료유형
E-Book E-Book URL
소장처
 
2.
서명
Helping students make sense of the world using next generation science and engineering practices  미리보기
저자
Schwarz, Christina
출판사
청구기호
507.1/2
출판년
2016
자료유형
E-Book E-Book URL
소장처
 
3.
서명
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988  미리보기
저자
Homer, S.
출판사
Springer-Verlag
청구기호
410.8 L471 V.1429
출판년
1990
자료유형
단행본 단행본
소장처
전체 열기 | 삼성캠퍼스 대출불가(별치) 열기 | 오성캠퍼스 열기
4.
서명
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987  미리보기
저자
Logic Meeting: 1987 Kyoto, Japan)
출판사
Springer-Verlag
청구기호
410.8 L471 V.1388
출판년
1989
자료유형
단행본 단행본
소장처
전체 열기 | 삼성캠퍼스 대출불가(별치) 열기 | 오성캠퍼스 열기
5.
서명
Two-valued iterative systems of mathematical logic. (am-5) [electronic resource]  미리보기
저자
Emil L. Post
출판사
Princeton Univ Press
청구기호
164
출판년
2016
자료유형
E-Book E-Book URL
소장처
 
6.
서명
Naturalizing Logico-Mathematical Knowledge : Approaches from Philosophy, Psychology and Cognitive Science. First edition  미리보기
저자
Bangu, Sorin
출판사
Routledge
청구기호
160
출판년
2018
자료유형
E-Book E-Book URL
소장처
 
1 
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.