登入選單
返回Google圖書搜尋
Deductive and Declarative Programming
註釋The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.