Publication

1992 - Cambridge University Press, Cambridge, England

Language

English

Word Count

26,000 words, Guess

Page Count

104 pages

Identifiers

and 4 more
  • Goodreads5806088
  • Library of Congress Control Number93166788
  • Better World Books9780521432191
  • Open LibraryOL1493168M

Classifications

  • DDC005.13/1
  • LCCQA76.63 .A375 1992

Subjects

Series Statement

  • Distinguished dissertations in computer science

Links

Other Editions

  • Logic programming: operational semantics and proof theoryCambridge University Press1992-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!