>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1994
著者名:
シリーズ名:
Lecture notes in computer science ; 792 <BA00009279>
ISBN:
9783540579359 [3540579354] (: gw)  CiNii Books  Calil
9780387579351 [0387579354] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logic, Language and Computation : Festschrift in Honor of Satoru Takasu

Jones, Neil D., Hagiya, Masami, Sato, Masahiko, SpringerLink (Online service)

Springer-Verlag
7 図書 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings

TACS, 萩谷, 昌己(1957-), Mitchell, John C.

Springer-Verlag
2 電子ブック Logic, Language and Computation : Festschrift in Honor of Satoru Takasu

Jones, Neil., Hagiya, Masami., Sato, Masahiko., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 ソフトウェア科学のための論理学

萩谷, 昌己(1957-), 長尾, 真(1936-)

岩波書店
3 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
9 図書 DNAコンピュータ

萩谷, 昌己(1957-), 横森, 貴

培風館
4 図書 化学系・生物系の計算モデル

萩谷, 昌己(1957-), 山本, 光晴(1972-)

共立出版
10 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店
5 図書 基礎情報科学

川合, 慧(1944-), 萩谷, 昌己(1957-)

放送大学教育振興会
11 図書 遺伝的アルゴリズム

北野, 宏明, 相澤, 彰子, 玉置, 久, 萩谷, 昌己(1957-)

産業図書
6 図書 Common Lisp入門

湯浅, 太一(1952-), 萩谷, 昌己(1957-)

岩波書店
12 図書 The logic of information structures

Wansing, Heinrich

Springer-Verlag