IMSc Library catalog › Details for: Logic Programming : Operational Semantics and Proof Theory

Normal view MARC view ISBD view

Logic Programming : Operational Semantics and Proof Theory

By: Andrews, James HMaterial type: Text

TextSeries: Distinguished Dissertations in Computer SciencePublication details: Cambridge ; CUP ; 1992Description: 104pISBN: 0 521 43219 7

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 AND (Browse shelf (Opens below))		Available		37255

Previous								Next
Previous	681.3 ALL Computing skills for biologists :a toolbox	681.3 AMA Domains and Lambda-Calculi (CTTCS : 46)	681.3 AMOS Theoretical and experimental DNA computation	681.3 AND Logic Programming : Operational Semantics and Proof Theory	681.3 AND Foundations of multithreaded parallel and distributed programming	681.3 ANT An introduction to Computational Learning Theory	681.3 ANT Neural Network Learning: Theoretical Foundations	Next

There are no comments on this title.

to post a comment.