HOME > 상세정보

상세정보

Logic for computer science

Logic for computer science (9회 대출)

자료유형
단행본
개인저자
Reeves, Steve, 1957- Clarke, Michael, 1940-.
서명 / 저자사항
Logic for computer science / Steve Reeves, Michael Clarke.
발행사항
Wokingham, England ;   Reading, Mass. :   Addison-Wesley,   1990.  
형태사항
xi, 260 p. : ill. ; 24 cm.
총서사항
International computer science series.
ISBN
0201416433
서지주기
Includes bibliographical references (p. 255-256) and index.
일반주제명
Logic, Symbolic and mathematical.
비통제주제어
Computer systems, Programming, Applications of mathematical logic,,
000 00936camuuu200277 a 4500
001 000000109467
005 19980526112342.0
008 900206s1990 enka b 001 0 eng
010 ▼a 90032374
015 ▼a GB90-18596
020 ▼a 0201416433
040 ▼a DLC ▼c DLC ▼d UKM
049 1 ▼l 421109198 ▼f 과개
050 0 0 ▼a QA9 ▼b .R34 1990
082 0 0 ▼a 004/.01/5113 ▼2 20
090 ▼a 004.015113 ▼b R332L
100 1 ▼a Reeves, Steve, ▼d 1957-
245 1 0 ▼a Logic for computer science / ▼c Steve Reeves, Michael Clarke.
260 ▼a Wokingham, England ; ▼a Reading, Mass. : ▼b Addison-Wesley, ▼c 1990.
300 ▼a xi, 260 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a International computer science series.
504 ▼a Includes bibliographical references (p. 255-256) and index.
650 0 ▼a Logic, Symbolic and mathematical.
653 ▼a Computer systems ▼a Programming ▼a Applications of mathematical logic
700 1 0 ▼a Clarke, Michael, ▼d 1940-.

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.015113 R332L 등록번호 421109198 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 세종학술정보원/과학기술실/ 청구기호 004.01 R332L 등록번호 452088765 도서상태 대출가능 반납예정일 예약 서비스 M
No. 3 소장처 세종학술정보원/과학기술실/ 청구기호 004.01 R332L 등록번호 452094350 도서상태 대출가능 반납예정일 예약 서비스 M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.015113 R332L 등록번호 421109198 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.01 R332L 등록번호 452088765 도서상태 대출가능 반납예정일 예약 서비스 M
No. 2 소장처 세종학술정보원/과학기술실/ 청구기호 004.01 R332L 등록번호 452094350 도서상태 대출가능 반납예정일 예약 서비스 M

컨텐츠정보

저자소개

스티브 리브스(지은이)

보디빌더 출신의 배우 (1926-2000)

Michael Clarke(지은이)

정보제공 : Aladin

관련분야 신착자료

김효곤 (2022)