Logic programming : operational semantics and proof theory

Author(s)

• Andrews, James H.

Bibliographic Information

Logic programming : operational semantics and proof theory

James H. Andrews

（Distinguished dissertations in computer science）

Cambridge University Press, 2004, c1992

• : pbk

Note

First published: 1992

"First paperback edition 2004"--T.p. verso

Includes bibliographical references (p. 89-94) and index

Details

• NCID: BB1821480X
• ISBN:
  • 9780521607544
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, U.K.
• Pages/Volumes: xi, 104 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.13/1
• Subject Headings:
  • LCSH : Logic programming
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA13438471