You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
320 pages • missing pub info (view editions)
ISBN/UID: 9780521879408
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 11 June 2012
Description
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding,...
Community Reviews
Content Warnings
320 pages • missing pub info (view editions)
ISBN/UID: 9780521879408
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 11 June 2012
Description
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding,...
Community Reviews
Content Warnings