Blank Cover Image

論理と意味

資料区分:
図書
責任表示:
長尾真, 淵一博 [著]
言語:
日本語
出版情報:
東京 : 岩波書店, 1983.1
形態:
ix, 202p ; 22cm
著者名:
シリーズ名:
岩波講座情報科学 ; 7 <BN00016163>
書誌ID:
BN00245681
ISBN:
9784000101578 [4000101579]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 コンピュータによる定理の証明

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会
7 図書 機械翻訳はどこまで可能か

長尾, 真(1936-)

岩波書店
2 図書 研究情報ネットワーク論

長尾, 真(1936-)

勁草書房
8 図書 学術無窮 : 大学の変革期を過ごして : 1997-2003

長尾, 真(1936-)

京都大学学術出版会
3 図書 思考と論理

大森, 荘蔵(1921-)

放送大学教育振興会, 日本放送出版協会(発売)
9 図書 パターン認識と図形処理

長尾, 真(1936-), 齋藤, 收三(1924-)

岩波書店
4 図書 数理論理学入門

入江, 盛一(1911-)

培風館
10 図書 論理

中谷, 太郎(1903-)

共立出版
5 図書 岩波情報科学辞典

長尾, 真(1936-)

岩波書店
11 図書 ディジタル画像処理

Rosenfeld, Azriel, 1931-, Kak, Avinash C., 長尾, 真(1936-)

近代科学社
6 図書 電子図書館

長尾, 真(1936-)

岩波書店
12 図書 大学生と「情報の活用」 : 情報探索入門

川崎, 良孝(1949-), 長尾, 真(1936-)

京都大学図書館情報学研究会, 日本図書館協会(発売)