고려대학교 세종학술정보원

MARC

Logic programming : proceedings of the fifth international conference and symposium

자료유형

단행본

개인저자

Kowalski, Robert A. Bowen, Kenneth A.

단체저자명

Association for Logic Programming.

서명 / 저자사항

Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen.

발행사항

Cambridge, Mass. : MIT Press , c1988.

형태사항

2 v. (xx, 1690 p.) : ill. ; 26 cm.

총서사항

MIT Press in logic programming

ISBN

0262610566 (set) 026261054X (v. 1) 0262610558 (v. 2)

일반주기

Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming.

서지주기

Includes bibliographical references and index.

일반주제명

Logic programming -- Congresses.

000		01493pamuu2200349 a 4500
001		000045283865
005		20060807111142
008		920819s1988 maua b 101 0 eng
010		▼a 88013337
020		▼a 0262610566 (set)
020		▼a 026261054X (v. 1)
020		▼a 0262610558 (v. 2)
035		▼a (KERIS)BIB000002462983
040		▼a 222001 ▼c 222001 ▼d 211009
050	0	▼a QA76.6 ▼b .L5889 1988
082	0 4	▼a 006.3 ▼2 22
090		▼a 006.3 ▼b L8322
245	0 0	▼a Logic programming : ▼b proceedings of the fifth international conference and symposium / ▼c edited by Robert A. Kowalski and Kenneth A. Bowen.
260		▼a Cambridge, Mass. : ▼b MIT Press , ▼c c1988.
300		▼a 2 v. (xx, 1690 p.) : ▼b ill. ; ▼c 26 cm.
440	0	▼a MIT Press in logic programming
500		▼a Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming.
504		▼a Includes bibliographical references and index.
650	0	▼a Logic programming ▼v Congresses.
700	1	▼a Kowalski, Robert A.
700	1	▼a Bowen, Kenneth A.
710	2	▼a Association for Logic Programming.
710	2	▼a IEEE Computer Society.
711	2	▼a International Conference on Logic Programming ▼n (5th : ▼d 1988 : ▼c University of Washington, Seattle)
711	2	▼a Symposium on Logic Programming ▼n (5th : ▼d 1988 : ▼c University of Washington, Seattle)
945		▼a KINS

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 과학도서관/Sci-Info(2층서고)/	청구기호 006.3 L8322 1	등록번호 121087564	도서상태 대출가능	반납예정일	예약	서비스 B M
No. 2	소장처 과학도서관/Sci-Info(2층서고)/	청구기호 006.3 L8322 2	등록번호 121087565	도서상태 대출가능	반납예정일	예약	서비스 B M