서지주요정보
Logic in computer science : modelling and reasoning about systems
서명 / 저자 Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
저자명 Huth, Michael, 1962-
Ryan, Mark, 1962-
발행사항 New York : Cambridge University Press, 2020.

소장자료

등록번호

00091152

소장위치 / 청구기호

6층 과학·기술자료실 / QA76.9.L63 H88 2004

청구기호 읽는 법

도서상태

이용가능

책찾아주세요

반납예정일

예약

서지기타정보

서지기타정보
청구기호 QA76.9.L63 H88 2004
판사항 2nd ed.
형태사항 xiv, 427 p. : ill. ; 25 cm.
언어 English
일반주기 Originally published: 2004.
서지주기 Includes bibliographical references (p. 414-417) and index.
주제 Computer logic.
Logic programming.
LCCN 2004045921
ISBN 9780521543101 (pbk.) , 052154310X (pbk.)
QR CODE

리뷰정보

책소개

전체보기

목차

전체보기

홈으로
닫기