Computing with logic : logic programming with Prolog / David Maier, David S. Warren
Publisher: Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988Description: xxi, 535 p. : ill. ; 24 cmISBN: 0-8053-6681-4 (pbk.) ;Subject(s): Logic programming | Prolog (Computer program language)DDC classification: 005.133,MAI
Contents:
Part I : Prologs and Propositional Logic (Page-1) Part II: Datalog and Predicate and Logic (Page-119) Part III Prolog and Functional Logic (Page-265).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.133,MAI (Browse shelf) | Link to resource | Available | Almirah No.5 , Shelf No.1 | MCS2549 |
Total holds: 0
Part I : Prologs and Propositional Logic (Page-1) Part II: Datalog and Predicate and Logic (Page-119) Part III Prolog and Functional Logic (Page-265).
Click on an image to view it in the image viewer
There are no comments on this title.