討論:霍爾邏輯
本條目屬於下列維基專題範疇: | |||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
外部連結已修改
各位維基人:
我剛剛修改了霍爾邏輯中的1個外部連結,請大家仔細檢查我的編輯。如果您有疑問,或者需要讓機械人忽略某個連結甚至整個頁面,請訪問這個簡單的FAQ獲取更多信息。我進行了以下修改:
- 向 http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf 中加入存檔連結 https://web.archive.org/web/20160304013345/http://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdf
有關機械人修正錯誤的詳情請參閱FAQ。