Manna, Zohar
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | The logical basis for computer programming / Zohar Manna, Richard Waldinger. v.2 |
개인저자 | Manna, Zohar. Waldinger, Richard. |
발행사항 | Reading, Mass. : Addison-Wesley, c1990. |
형태사항 | xiii, 642 p. : ill. ; 25 cm. |
총서사항 | Addison-Wesley series in computer science |
ISBN | 0201182602 (v. 1) 0201182610 (v. 2) |
서지주기 | Includes bibliographies and indexes. |
내용주기 | v. 1. Deductive reasoning -- v. 2 Deductive systems. |
일반주제명 | Electronic digital computers -- Programming. Logic, Symbolic and mathematical. |
비통제주제어 | Logic programming |
분류기호 | 566.015 |
언어 | 영어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가