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

MARC

Equational logic as a programming language

자료유형

단행본

개인저자

O'Donnell, Michael J., 1952-

서명 / 저자사항

Equational logic as a programming language / Michael J. O'Donnell.

발행사항

Cambridge, Mass. : MIT Press, c1985.

형태사항

296 p. : ill. ; 23 cm.

총서사항

MIT Press series in the foundations of computing.

ISBN

026215028X

일반주기

Includes index.

서지주기

Bibliography: p. [277]-284.

일반주제명

Programming languages (Electronic computers). Logic, Symbolic and mathematical. Equations, Theory of.

비통제주제어

Computer systems, Programming, Applications of logical equations,,

000		01024camuuu200313 a 4500
001		000000109336
005		19980521135616.0
008		850102s1985 maua b 001 0 eng
010		▼a 84029507
015		▼a GB87-15015
019		▼a 15659092
020		▼a 026215028X
040		▼a DLC ▼c DLC ▼d m/c ▼d UKM
049	1	▼l 421026509 ▼f 과학
050	0	▼a QA76.7 ▼b .O36 1985
082	0 0	▼a 001.64/24 ▼2 19
090		▼a 001.6424 ▼b O26e
100	1	▼a O'Donnell, Michael J., ▼d 1952- ▼w cn
245	1 0	▼a Equational logic as a programming language / ▼c Michael J. O'Donnell.
260		▼a Cambridge, Mass. : ▼b MIT Press, ▼c c1985.
300		▼a 296 p. : ▼b ill. ; ▼c 23 cm.
440	0	▼a MIT Press series in the foundations of computing.
500		▼a Includes index.
504		▼a Bibliography: p. [277]-284.
650	0	▼a Programming languages (Electronic computers).
650	0	▼a Logic, Symbolic and mathematical.
650	0	▼a Equations, Theory of.
653		▼a Computer systems ▼a Programming ▼a Applications of logical equations

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 과학도서관/Sci-Info(2층서고)/	청구기호 001.6424 O26e	등록번호 421026509	도서상태 대출가능	반납예정일	예약	서비스 B M
No. 2	소장처 세종학술정보원/인문자료실1(2층)/	청구기호 001.6424 O26e	등록번호 452074472	도서상태 대출가능	반납예정일	예약	서비스 B M ?

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

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 세종학술정보원/인문자료실1(2층)/	청구기호 001.6424 O26e	등록번호 452074472	도서상태 대출가능	반납예정일	예약	서비스 B M ?