Symbolic logic and prolog

Bibliographic Details
Main Author: Sing, Gurdev
Format: Book
Published: New Delhi : Khanna Book Pub. Co. , 2011
Subjects:

MARC

LEADER 00000cam a2200000 7i4500
001 0000040835
005 20140519.0
008 140519
020 |a 9381068364 
090 0 0 |a 006.3   |b SIN 
100 1 |a Sing, Gurdev 
245 1 0 |a Symbolic logic and prolog   |c Dr. Gurdev Sing & Mandeep Singh Bhatia 
260 |a New Delhi :   |b Khanna Book Pub. Co. ,   |c 2011 
650 0 |a Artificial intelligence 
650 0 |a Artificial intelligence reasoning   |x Data processing 
650 0 |a Logic symbolic and mathematical 
650 0 |a Prolog (computer program language) 
999 |a 0001292288   |b Book   |c Adult Collection   |e Perbadanan Perpustakaan Awam Johor