登入選單

返回Google圖書搜尋

Computability Theory, Semantics, and Logic Programming

Melvin Fitting

出版	Oxford University Press, 1987
主題	Biography & Autobiography / HistoricalLanguage Arts & Disciplines / Linguistics / SemanticsMathematics / LogicPhilosophy / LogicReference / Questions & AnswersScience / Life Sciences / Botany
ISBN	01950369139780195036916
URL	http://books.google.com.hk/books?id=n4lQAAAAMAAJ&hl=&source=gbs_api

註釋

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.