HOME > 상세정보

상세정보

Propositional logic : deduction and algorithms

Propositional logic : deduction and algorithms (2회 대출)

자료유형
단행본
개인저자
Kleine Buning, H. (Hans) Lettman, Theodor.
서명 / 저자사항
Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman.
발행사항
Cambridge [England] ;   New York :   Cambridge University Press,   1999.  
형태사항
x, 409 p. : ; 24 cm.
총서사항
Cambridge tracts in theoretical computer science ; 48
ISBN
0521630177 (hardcover)
서지주기
Includes bibliographical references (p. 385-402) and index.
일반주제명
Computer logic. Computer algorithms.
000 00976camuu2200277 a 4500
001 000000762699
005 20020329144739
008 980804s1999 enk b 001 0 eng
010 ▼a 98038806
020 ▼a 0521630177 (hardcover)
040 ▼a DLC ▼c DLC ▼d C#P ▼d UKM ▼d 211009
041 1 ▼a eng ▼h ger
049 1 ▼l 111211806
050 0 0 ▼a QA76.9.L63 ▼b P76 1999
082 0 0 ▼a 004/.01/5113 ▼2 21
090 ▼a 004.015113 ▼b K64p
100 1 ▼a Kleine Buning, H. ▼q (Hans)
245 1 0 ▼a Propositional logic : ▼b deduction and algorithms / ▼c Hans Kleine Buning, Theodor Lettman.
260 ▼a Cambridge [England] ; ▼a New York : ▼b Cambridge University Press, ▼c 1999.
300 ▼a x, 409 p. : ; ▼c 24 cm.
440 0 ▼a Cambridge tracts in theoretical computer science ; ▼v 48
504 ▼a Includes bibliographical references (p. 385-402) and index.
650 0 ▼a Computer logic.
650 0 ▼a Computer algorithms.
700 1 ▼a Lettman, Theodor.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.015113 K64p 등록번호 111211806 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료