나의 도서관정보
대출도서
건
연체도서
건
미납연체료
원
예약도서(대출가능)
건
닫기
알림ㆍ문의
공지사항
Q&A
FAQ
전화ㆍ이메일 문의
LOGIN
ENG
메뉴
검색
전자자료
도서관서비스
연구학습지원
My Library
도서관안내
소장자료검색
소장자료
학위논문
Collections
학술논문(e-Articles)
통합검색
전자저널
전자도서
데이터베이스
도서구입신청
원문복사신청
상호대차신청
타도서관이용신청
학위논문제출
도서관이용교육
연구윤리가이드
논문작성/표절예방/OA
주의해야 할 학회/학술지
DMP작성지원
기관논문비교분석(SelCA)
RIMS/RIMS Discovery
KAIST Scholar
교외접속서비스
대출연장/예약조회
연체료결제
서비스신청결과조회
My Shelf
도서관이용
대출/반납/연장/예약
이용자별안내
층별/시설안내
연구비구입도서등록
도서관소개
이용시간/위치
조직/직원
통계/규정
소장자료검색
학술논문(e-Articles)
통합검색
소장자료
학위논문
Collections
미리보기
서지주요정보
Logic, rationality, and interaction second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / [electronic resource]
서명 / 저자
Logic, rationality, and interaction
[electronic resource] :
second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
edited by Xiangdong He, John Horty, Eric Pacuit.
저자명
He, Xiangdong.
;
Horty, John.
;
Pacuit, Eric.
단체명
He, Xiangdong.
;
Horty, John.
;
Pacuit, Eric.
회의명
He, Xiangdong.
;
Horty, John.
;
Pacuit, Eric.
발행사항
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
총서명
Lecture notes in computer science, 0302-9743 ; 5834
Online Access
http://dx.doi.org/10.1007/978-3-642-04893-7
URL
서지기타정보
서지기타정보
청구기호
BC5 .L872 2009
형태사항
328 p. : ill., digital ; 24 cm.
언어
English
주제
Logic
--Congresses.
Artificial intelligence
--Congresses.
Game theory
--Congresses.
Mathematical Logic and Foundations.
Theory of Computation.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Mathematical Logic and Formal Languages.
Computer Science.
Symbolic and Algebraic Manipulation.
보유판 및 특별호 저록
Springer eBooks
ISBN
9783642048937 (electronic bk.) 9783642048920 (paper)
QR CODE
책소개
전체보기
목차
전체보기
청구기호 Browsing (유사한 주제의 도서 정보를 브라우징 할 수 있습니다.)
The Journal of symbolic logic
Church, Alonzo
BC1 .J6
Context, conflict and reasoning : proceedings of the fifth asian workshop on philosophical logic
Asain Workshop on Philosophical Logic
BC5 .A853 2020
Logic, rationality, and interaction second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / [electronic resource]
LORI 2009
BC5 .L872 2009
Situation theory and its applications
Cooper, Robin
BC5 .S57 1990
Analytical philosophy. : First series
Butler, R. J
BC6 .B8 1966
이 주제의 인기대출도서