Logic, language, and computation : festschrift in honor of Satoru Takasu

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1994

形態:

xii, 269 p. : ill., port. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 792 <BA00009279>

書誌ID:

BA22411090

ISBN:

9783540579359 [3540579354] (: gw)

9780387579351 [0387579354] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer science; Takasu, Satoru, 1931-
分類・件名:	LCC : QA76 DDC : 005.1/01/5113 LCSH : Computer science LCSH : Takasu, Satoru, 1931-
LCCN:	94010102
注記:	Includes bibliographical references
TTLL:	eng
著者名ヨミ:	タカス, サトルハギヤ, マサミサトウ, マサヒコ

1

2

3

4

5

6

7

8

9

10

11

12

1 図書コンピューティング : 原理とその展開萩谷, 昌己(1957-) 放送大学教育振興会	7 図書 DNAコンピュータ萩谷, 昌己(1957-), 横森, 貴培風館
2 図書高校情報I : Python 萩谷, 昌己(1957-) 実教出版	8 図書 Common Lisp入門湯浅, 太一(1952-), 萩谷, 昌己(1957-) 岩波書店
3 図書論理と計算萩谷, 昌己(1957-), 甘利, 俊一(1936-) 岩波書店	9 図書 Common Lispハンドブック萩谷, 昌己(1957-), 湯浅, 太一(1952-) 岩波書店
4 図書基礎情報科学川合, 慧(1944-), 萩谷, 昌己(1957-) 放送大学教育振興会	10 図書論理と計算のしくみ萩谷, 昌己(1957-), 西崎, 真也岩波書店
5 図書 DNAロボット : 生命のしかけで創る分子機械萩谷, 昌己(1957-), 西川, 明男(1963-) 岩波書店	11 図書論理と計算萩谷, 昌己(1957-), 甘利, 俊一(1936-) 岩波書店
6 図書化学系・生物系の計算モデル萩谷, 昌己(1957-), 山本, 光晴(1972-) 共立出版	12 図書ソフトウェア科学のための論理学萩谷, 昌己(1957-), 長尾, 真(1936-) 岩波書店