서지주요정보
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-7URL

서지기타정보

서지기타정보
청구기호 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

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서