Material information
【タイトル】
コンピュータのための数学 論理的アプローチ
【著者名等】
D.グリース/著  ≪再検索≫
【著者名等】
F.B.シュナイダー/著  ≪再検索≫
【著者名等】
難波完爾/監訳  ≪再検索≫
【著者名等】
土居範久/監訳  ≪再検索≫
【著者名等】
飯島正/〔ほか〕訳  ≪再検索≫
【出版】
日本評論社 2001.07
【大きさ等】
26cm 381p
【NDC分類】
007.1
【件名】
情報数学  ≪再検索≫
【書誌番号】
3-0201044156
【注記】
A logical approach to discrete math.
【目次】
数学の活用;字句代入,等号,代入;ブール式;命題計算;証明形式の緩和;命題論理の応用;ヒルベルトスタイルの証明系;形式論理;限量化;述語計算〔ほか〕
【内容】
文献あり 索引あり
【ISBN】
4-535-78301-2

Holding information 1records
1record-1record
2025358310
中央
007.1 /362 

書架
書庫(自然科学中央)

Previous
Next

On hold information
Present reservation registrants are 0 people.


▼results list
[0]TOP