| 000 | 00822camuuu200229 a 4500 | |
| 001 | 000000922607 | |
| 005 | 19990106143144.0 | |
| 008 | 930312s1993 maua b 101 0 eng | |
| 010 | ▼a 93017020 | |
| 020 | ▼a 0262660830 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 244002 | |
| 049 | 0 | ▼l 151004387 |
| 082 | 0 0 | ▼a 006.3 |
| 090 | ▼a 006.3 ▼b P436L | |
| 100 | 1 | ▼a Pereira, Luis Moniz |
| 245 | 1 0 | ▼a Logic programming and non-monotonic reasoning : ▼b proceedings of the second international workshop / ▼c edited by Luis Moniz Pereira and Anil Nerode. |
| 260 | ▼a Cambridge, Mass. : ▼b MIT Press, ▼c c1993. | |
| 300 | ▼a vii, 494 p. : ▼b ill. ; ▼c 23 cm. | |
| 500 | ▼a Papers presented during the workshop held in Lisbon in June 1993. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Reasoning ▼x Congresses. |
| 700 | 1 | ▼a Nerode, Anil, ▼d 1932-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 006.3 P436L | 등록번호 151004387 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |