この情報を出力する

このページのリンク

他の検索サイト

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

データ種別 図書
出版情報 Reading, Mass. ; Tokyo : Addison-Wesley , 1985-1990
本文言語 英語
大きさ 2 v. ill. ; 25 cm
目次／あらすじ

所蔵情報を非表示

図書館/第1書庫 Y417.7/M1 v. 1. 10268091

0201182602

書誌詳細を非表示

一般注記 v. 1 Deductive reasoning. - v. 2 Deductive systems. - Includes index
著者標目 Zohar Manna
Richard Waldinger.
書誌ID TT20013130
ISBN 0201182602
NCID BA0001444X