Computability theory, semantics, and logic programming

著者

• Fitting, Melvin Chris

書誌事項

Computability theory, semantics, and logic programming

Melvin Fitting

（Oxford logic guides, 13）

Oxford University Press , Clarendon Press, 1987

注記

Includes index

内容説明・目次

内容説明

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. It also considers LISP programming language and shows its relation to the PROLOG type of language. Advanced first-degree and graduate students of computer science; researchers in computer science and logic.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA00503785
• ISBN:
  • 0195036913
• LCCN: 85005003
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York,Oxford
• ページ数/冊数: xi, 198 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.59
  • DC19 : 001.64/2
• 件名:
  • LCSH : Computable functions
  • LCSH : Data structures (Computer science)
• 親書誌ID:
  • BA00017765