---

＜図書＞
Computability and decidability : an introduction for students of computer science / J. Loeckx
(Lecture notes in economics and mathematical systems ; 68)

出版者	Berlin ; New York : Springer-Verlag
出版年	1972
本文言語	英語
大きさ	vi, 76 p. : ill. ; 26 cm
著者標目	*Loeckx, Jacques, 1931-
件　名	LCSH:Sequential machine theory LCSH:Turing machines
一般注記	Includes bibliographical references

 類似資料