>> Google Books
タイトル、所在を表示します

The resolution calculus

フォーマット:
図書
責任表示:
Alexander Leitsch
言語:
英語
出版情報:
Berlin : Springer, c1997
形態:
viii, 300 p. ; 24 cm
著者名:
Leitsch, Alexander, 1952- <DA07561582>  
シリーズ名:
Texts in theoretical computer science ; An EATCS series <BA24186461>
書誌ID:
BA29530994
ISBN:
9783540618829 [3540618821]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

IJCAR, Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958-

Springer
7 図書 コンテキストの時代 : ウェアラブルがもたらす次の10年

Scoble, Robert, Israel, Shel, 1944-, 滑川, 海彦(1952-), 高橋, 信夫

日経BP社, 日経マーケティング (発売)
2 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer
8 図書 英語を楽しもう

町田, 彰一郎, 栗原, 秀幸(1952-), もり・せ・いちる

岩崎書店
3 図書 Abstract computing machines : a lambda calculus perspective

Kluge, Werner

Springer
9 視聴覚資料 図書館へ行こう! : インターネット時代の情報活用入門

ポルケ, 日本図書館協会, 仁上, 幸治(1952-), 野末, 俊比古(1968-)

紀伊國屋書店
4 図書 The mathematics of networks of linear systems

Fuhrmann, Paul Abraham, 1983-, Helmke, Uwe, 1952-

Springer
10 視聴覚資料 ゼミ発表をしよう! : テーマ選びからプレゼンテーションまで

ポルケ, 日本図書館協会, 仁上, 幸治(1952-), 野末, 俊比古(1968-)

紀伊國屋書店
5 図書 第五世代コンピュータの並列処理 : 汎用並列処理への道、言語・OS・プログラミング

瀧, 和男(1952-)

共立出版
11 視聴覚資料 レポート・論文を書こう! : 誰にでも書ける10のステップ

ポルケ, 日本図書館協会, 仁上, 幸治(1952-), 野末, 俊比古(1968-)

紀伊國屋書店
6 図書 MS-DOS

纐纈, 一起(1956-), 鷹野, 澄(1952-)

共立出版
12 図書 コンピュータと法律

犬伏, 茂之(1934-), 大野, 幸夫(1947-), 名和, 小太郎(1931-), 吉田, 正夫(1952-)

共立出版