登入選單
Google圖書搜尋
Theory of Deductive Systems and Its Applications
作者
Sergeĭ I︠U︡rʹevich Maslov
出版MIT Press (MA), 1987
ISBN
UOM:39015012449685
主題
Computers