MARC 닫기
01037camoa2200289 u pc3
000000441599
20120926203655
840824m19851990us a b 001 eng
▼a 84020346 //r903
▼a GB92-17432
▼a 0201182602 (v. 1):
▼c $27.95
▼a DLC
▼c DLC
▼d OCL
▼d UKM
▼a KMAL
▼l AZ0000130535
▼a 519.7
▼2 19
▼a 519.7
▼b M31L
▼a Manna, Zohar.
▼a (The)logical basis for computer programming/
▼d Zohar Manna, Richard Waldinger.
▼a Reading, Mass.:
▼b Addison-Wesley,
▼c 1985.
▼a xii, 618 p.:
▼b ill.;
▼c 24 cm.
▼a Addison-Wesley series in computer science
▼a Includes bibliographies and indexes.
▼a v. 1. Deductive reasoning.
▼a Electronic digital computers
▼x Programming.
▼a Logic, Symbolic and mathematical.
▼a THELOGICAL
▼a BASIS
▼a FOR
▼a COMPUTER
▼a PROGRAMMING
▼a ADDISONWESLEY
▼a SERIES
▼a IN
▼a SCIENCE
▼a DEDUCTIVE
▼a REASONING
▼a Waldinger, Richard,
▼a Deductive reasoning.
▼a 단행본
▼a 519.7
▼b M31L
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 0201182602 (v. 1): |
| 분류기호 : | 519.7 |
| 개인저자 : | Manna, Zohar. |
| 서명/저자사항 : | (The)logical basis for computer programming/ Zohar Manna, Richard Waldinger. |
| 발행사항 : | Reading, Mass.: Addison-Wesley, 1985. |
| 형태사항 : | xii, 618 p.: ill.; 24 cm. |
| 총서사항 : | Addison-Wesley series in computer science |
| 서지주기 : | Includes bibliographies and indexes. |
| 내용주기 : | v. 1. Deductive reasoning. |
| 일반주제명 : | Electronic digital computers -- Programming. -- |
| 일반주제명 : | Logic, Symbolic and mathematical. -- |
| 개인저자 : | Waldinger, Richard, |
| 분류기호 : | 519.7 |
| 언어 | 영어 |
측량정보공학 = Geomatics engineering / 개정6판
526.9 조17ㅊ6
전자기학 / [원서2판]
537 아221ㅈ(2)
현대물리학 / [원서5판]
539 손833ㅎ(5)
(모두를 위한) 선형대수학
512.5 스838ㅅ
서평쓰기