著者：Akira Maruoka
出版社： Springer London
発売日： 2015年12月29日
This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logicall……続きを見る
