HOME > 상세정보

상세정보

Logical environments

Logical environments (1회 대출)

자료유형
단행본
개인저자
Huet, Gerard. Plotkin, G. (Gordon), 1946-.
서명 / 저자사항
Logical environments / edited by Gerard Huet, Gordon Plotkin.
발행사항
Cambridge ;   New York, NY, USA :   Cambridge University Press,   1993.  
형태사항
xiii, 338 p. : ill. ; 24 cm.
ISBN
0521433126
서지주기
Includes bibliographical references.
일반주제명
Automatic theorem proving -- Congresses. Artificial intelligence -- Congresses. Logic, Symbolic and mathematical -- Congresses.
000 01003camuu2200289 a 4500
001 000045713564
005 20120801095900
008 120727s1993 enka b 100 0 eng
010 ▼a 94135697
020 ▼a 0521433126
035 ▼a (KERIS)REF000006693602
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.A96 ▼b L63 1993
082 0 0 ▼a 004/.01/5113 ▼2 22
084 ▼a 004.015113 ▼2 DDCK
090 ▼a 004.015113 ▼b L832
245 0 0 ▼a Logical environments / ▼c edited by Gerard Huet, Gordon Plotkin.
260 ▼a Cambridge ; ▼a New York, NY, USA : ▼b Cambridge University Press, ▼c 1993.
300 ▼a xiii, 338 p. : ▼b ill. ; ▼c 24 cm.
504 ▼a Includes bibliographical references.
650 0 ▼a Automatic theorem proving ▼v Congresses.
650 0 ▼a Artificial intelligence ▼v Congresses.
650 0 ▼a Logic, Symbolic and mathematical ▼v Congresses.
700 1 ▼a Huet, Gerard.
700 1 ▼a Plotkin, G. ▼q (Gordon), ▼d 1946-.
945 ▼a KLPA

소장정보

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

관련분야 신착자료

김효곤 (2022)