HOME > Detail View

Detail View

Logic for computer science

Logic for computer science (Loan 9 times)

Material type
단행본
Personal Author
Reeves, Steve, 1957- Clarke, Michael, 1940-.
Title Statement
Logic for computer science / Steve Reeves, Michael Clarke.
Publication, Distribution, etc
Wokingham, England ;   Reading, Mass. :   Addison-Wesley,   1990.  
Physical Medium
xi, 260 p. : ill. ; 24 cm.
Series Statement
International computer science series.
ISBN
0201416433
Bibliography, Etc. Note
Includes bibliographical references (p. 255-256) and index.
Subject Added Entry-Topical Term
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. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.015113 R332L Accession No. 421109198 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.01 R332L Accession No. 452088765 Availability Available Due Date Make a Reservation Service
No. 3 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.01 R332L Accession No. 452094350 Availability Available Due Date Make a Reservation Service
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.015113 R332L Accession No. 421109198 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.01 R332L Accession No. 452088765 Availability Available Due Date Make a Reservation Service
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.01 R332L Accession No. 452094350 Availability Available Due Date Make a Reservation Service

Contents information

Author Introduction

스티브 리브스(지은이)

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

Michael Clarke(지은이)

Information Provided By: : Aladin

New Arrivals Books in Related Fields