Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Foundations of logic programming / J.W. Lloyd.

By: Material type: TextTextSeries: Symbolic computation | Artificial intelligencePublication details: Berlin ; Springer-Verlag, 1984.Description: x, 124 p. ; 25 cmISBN:
  • 0387132996
Subject(s): DDC classification:
  • 005.115 23 L793
Contents:
1. Declarative semantics-- 2. Procedural semantics-- 3. Negation-- 4. Perpetual processes-- References-- Notation-- Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 005.115 L793 (Browse shelf(Opens below)) Available C26410
Total holds: 0

Includes bibliographical references and index.

1. Declarative semantics--
2. Procedural semantics--
3. Negation--
4. Perpetual processes--
References--
Notation--
Index.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in