Amazon cover image
Image from Amazon.com
Image from Google Jackets

Logic and Prolog Programming / Saroj Kaushik

By: Material type: TextTextPublication details: New Delhi: New Age International (P) Ltd., 2002Edition: 1st edDescription: xv, 324p. : ill. ; 24 cmISBN:
  • 9788122414097
Subject(s): DDC classification:
  • 23rd 005.13 KAU
Online resources:
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 Call number Status Notes Date due Barcode
Reference Book VIT-AP Fiction 005.13 KAU (Browse shelf(Opens below)) Not For Loan CSE 022573
Text Book VIT-AP Fiction 005.13 KAU (Browse shelf(Opens below)) Available CSE 022574
Text Book VIT-AP General Stacks 005.13 KAU (Browse shelf(Opens below)) Available CSE 022691
Text Book VIT-AP General Stacks 005.13 KAU (Browse shelf(Opens below)) Available CSE 022692
Text Book VIT-AP General Stacks 005.13 KAU (Browse shelf(Opens below)) Available CSE 022693

This book presents a systematic exposition of Formal Logic, evolution of Logic Programming and the features of Prolog programming language. It covers both Propositional and Predicate logic and explains various approaches towards validity, inconsistency of logic formulae and problem solving.

it includes preface, acknowledgements, Contents, References [301-302], Appendix [303-3190 and index pages.

There are no comments on this title.

to post a comment.

Visitor Number:

Powered by Koha