著者典拠情報

著者標目形：
Smith, Carl, 1950-
属性：
Personal
から見よ参照形：
Smith, Carl H., 1950-
Smith, Carl H
注記：
Mathematical logic and theoretical computer science, c1987: CIP t.p. (Carl Smith) pub. info. (Carl H. Smith; asst. prof. of computer science, Univ. of Maryland, College Park; B.S. (1972), Univ. of Vermont; M.S. (1975) & Ph. D. (1979), SUNY, Buffalo) data sheet (b. 4/25/50)
著者典拠ID：
DA0089949X


1.

図書
図書
1. 計算論への入門 : オートマトン・言語理論・チューリング機械
エフィーム・キンバー, カール・スミス著 ; 筧捷彦監修 ; 杉原崇憲訳
出版情報: 東京 : ピアソン・エデュケーション, 2002.10
シリーズ名: スタンダードテキスト
所蔵情報: 図書館
2.

図書
図書
2. Mathematical logic and theoretical computer science
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報: New York : M. Dekker, c1987
シリーズ名: Lecture notes in pure and applied mathematics ; v. 106
所蔵情報: 図書館