서지주요정보
A proof theory for description logics
서명 / 저자 A proof theory for description logics / Alexandre Rademaker.
저자명 Rademaker, Alexandre.
발행사항 London : Springer, 2012

소장자료

등록번호

00076473

소장위치 / 청구기호

6층 과학·기술자료실 / Q335 R33 2012

청구기호 읽는 법

도서상태

이용가능

책찾아주세요

반납예정일

예약

서지기타정보

서지기타정보
청구기호 Q335 R33 2012
형태사항 x, 106 p. ; 24 cm.
총서명 Springer briefs in computer science 2191-5768
언어 English
서지주기 Includes bibliographical references.
주제 Description logics.
Proof theory --Data processing.
ISBN 9781447140016 (acid-free paper)
QR CODE

리뷰정보

책소개

전체보기

목차

전체보기

홈으로
닫기