서지주요정보
Natural deduction, hybrid systems and modal logics [electronic resource]
서명 / 저자 Natural deduction, hybrid systems and modal logics [electronic resource] / by Andrzej Indrzejczak.
저자명 Indrzejczak, Andrzej.
단체명 Indrzejczak, Andrzej.
발행사항 Dordrecht : Springer Science+Business Media B.V., 2010.
총서명 Trends in logic ; v.30
Online Access http://dx.doi.org/10.1007/978-90-481-8785-0URL

서지기타정보

서지기타정보
청구기호 BC38 .I41 2010
형태사항 xxiii, 491 p. : ill., digital ; 24 cm.
언어 English
주제 Logic.
Modality (Logic)
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence (incl. Robotics)
보유판 및 특별호 저록 Springer eBooks
ISBN 9789048187850 (electronic bk.) 9789048187843 (paper)
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서