《無界非確定性的程式邏輯程式的等價性證明關係邏輯》是一部出版的論文，作者是宋方敏。
副題名
外文題名
論文作者
著
導師
莫紹揆教授指導
學科專業
基礎數學
學位級別
d 1988n
學位授予單位
南京大學
學位授予時間
1988
關鍵字
計算機軟體
館藏號
唯一標識符
108.ndlc.2.1100009031010001/T3F24.012002614245
館藏目錄
BSLW 1999 TP31 14\ \
《無界非確定性的程式邏輯程式的等價性證明關係邏輯》是一部出版的論文，作者是宋方敏。