このページのリンク

The logical basis for computer programming / Zohar Manna, Richard Waldinger.
(Addison-Wesley series in computer science.)

データ種別 図書
出版者 Reading, Mass. : Addison-Wesley
出版者 Tokyo
出版年 c1985-c1990.
本文言語 英語
大きさ 2 v. : ill. ; 25 cm.
目次/あらすじ

所蔵情報を非表示

V.2 ASRS 007.64/Ma45kz/V.2 03851022
0201182602

書誌詳細を非表示

内容注記 v. 1. Deductive reasoning -- v. 2 Deductive systems.
一般注記 Includes bibliographies and indexes.
著者標目 Manna, Zohar.
Waldinger, Richard.
件 名 Electronic digital computers--Programming
Logic, Symbolic and mathematical
分 類 NDC:007.64
書誌ID 1000068501
ISBN 0201182602

 類似資料