Welcome to the official i-CATS University College Library system. If you are a new user, please contact our librarian for registration.
Image from Google Jackets

Logic programming : operational semantics and proof theory / James H. Andrews.

By: Material type: TextSeries: Distinguished dissertations in computer sciencePublication details: New York : Cambridge University Press, 2004.Description: xi, 104 p. : ill. ; 25 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 052160754X
  • 9780521607544
Subject(s): DDC classification:
  • 005.131 dc20 /AND
LOC classification:
  • QA76.63 .A375 2004
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Shelving location Call number Copy number Status Barcode
Books Dato Maznah Library & Information Services Open Collection QA Mathematics QA76.63 .A375 2004 (Browse shelf(Opens below)) 1 Available 1002002

GB92-03126

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.
Share
Copyright CITM & Maznah Library, i-CATS University College 2025. All Rights Reserved