著者典拠情報

標目形：
Book, Ronald V.
属性：
Personal
から見よ参照形：
Book, R. V
ブック, R. V.
注記：
His Grammars with time functions, 1969
著者典拠ID：
DA00475631


 close
1.

図書
図書
1. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…
2.

図書
図書
2. Studies in complexity theory (:pbk)
Ronald V. Book (editor)
出版情報: London : Pitman, 1986
シリーズ名: Research notes in theoretical computer science
所蔵情報: loading…
目次情報:
Applying techniques of discrete complexity theory to numerical computaion by Ker-I Ko
Sparse sets and reducibilities by Stephen R. Mahaney
Models of arithmetic and complexity theory by Kenneth McAloon
Applying techniques of discrete complexity theory to numerical computaion by Ker-I Ko
Sparse sets and reducibilities by Stephen R. Mahaney
Models of arithmetic and complexity theory by Kenneth McAloon
3.

図書
図書
3. Formal language theory : perspectives and open problems
edited by Ronald V. Book
出版情報: New York : Academic Press, c1980
所蔵情報: loading…
4.

図書
図書
4. 最近の計算理論
Alfred V.Aho [編] ; R.V.Book [ほか] 著 ; 守屋悦朗翻訳
出版情報: 東京 : 近代科学社, 1976.1
所蔵情報: loading…
目次情報: 続きを見る
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]
木オートマトン : 非形式的な概要紹介 James W. Thatcher [著]
言語理論のコンパイラ設計への応用 Jeffrey D. Ullman [著]
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]
5.

図書
図書
5. Currents in the theory of computing
edited by Alfred V. Aho ; contributing authors, Ronald V. Book ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…