HOME > Detail View

Detail View

Logical environments

Logical environments (Loan 1 times)

Material type
단행본
Personal Author
Huet, Gerard. Plotkin, G. (Gordon), 1946-.
Title Statement
Logical environments / edited by Gerard Huet, Gordon Plotkin.
Publication, Distribution, etc
Cambridge ;   New York, NY, USA :   Cambridge University Press,   1993.  
Physical Medium
xiii, 338 p. : ill. ; 24 cm.
ISBN
0521433126
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 L832 Accession No. 111671561 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields