Please use this identifier to cite or link to this item:
http://dspace.bits-pilani.ac.in:8080/jspui/handle/123456789/1914Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Dasgupta, Sudeshna | - |
| dc.date.accessioned | 2021-09-03T14:47:14Z | - |
| dc.date.available | 2021-09-03T14:47:14Z | - |
| dc.date.issued | 2000-11-22 | - |
| dc.identifier.uri | http://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/1914 | - |
| dc.description | Supervisor: Prof. Vijay Chandru | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | BITS Pilani | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Automated Reasoning | en_US |
| dc.subject | Logic and Function | en_US |
| dc.subject | Horn Formulas | en_US |
| dc.subject | Classification of Atom | en_US |
| dc.subject | Logic Formulas | en_US |
| dc.title | A declarative constraint logic programming language based on partial instantiation technique for inference | en_US |
| dc.type | Thesis | en_US |
| Appears in Collections: | Department of Computer Science and Information Systems | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| a-declarative-constraint-logic-programming-language.pdf Restricted Access | 13.87 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.