登入選單

返回Google圖書搜尋

Algorithmic Logic with Nondeterministic Programs

Grażyna Mirkowska-Salwicka

出版	Institute of Computer Science, Polish Academy of Sciences, 1979
URL	http://books.google.com.hk/books?id=CLy0AAAAIAAJ&hl=&source=gbs_api