서지주요정보
Applied logic for computer scientists : computational deduction and formal proofs
서명 / 저자 Applied logic for computer scientists : computational deduction and formal proofs / Mauricio Ayala-Rincon, Flavio L. C. de Moura.
저자명 Ayala-Rincon, M. (Mauricio)
Moura, Flavio L. C. de.
발행사항 Cham, Switzerland : Springer, 2017

소장자료

등록번호

00080024

소장위치 / 청구기호

6층 과학·기술자료실 / QA76.9.L63 A93 2017

청구기호 읽는 법

도서상태

이용가능

책찾아주세요

반납예정일

예약

서지기타정보

서지기타정보
청구기호 QA76.9.L63 A93 2017
형태사항 xviii, 150 p. : ill. ; 24 cm.
총서명 Undergraduate topics in computer science 1863-7310
언어 English
서지주기 Includes bibliographical references and index.
주제 Computer logic.
Computer science --Mathematics.
ISBN 9783319516516 (print) , 9783319516530 (electronic bk.) , 3319516531 (electronic bk.)
QR CODE

리뷰정보

책소개

전체보기

목차

전체보기

홈으로
닫기