Please use this identifier to cite or link to this item:
http://dspace.bits-pilani.ac.in:8080/jspui/handle/123456789/1914| Title: | A declarative constraint logic programming language based on partial instantiation technique for inference |
| Authors: | Dasgupta, Sudeshna |
| Keywords: | Computer Science Artificial Intelligence Automated Reasoning Logic and Function Horn Formulas Classification of Atom Logic Formulas |
| Issue Date: | 22-Nov-2000 |
| Publisher: | BITS Pilani |
| Description: | Supervisor: Prof. Vijay Chandru |
| URI: | http://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/1914 |
| 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.