登入選單

返回Google圖書搜尋

Solving Sequential Conditions by Finite State Strategies

J. Richard BüchiLawrence H. Landweber

出版	Purdue University. Computer Science Department, 1967
URL	http://books.google.com.hk/books?id=1lGetgAACAAJ&hl=&source=gbs_api