A declarative constraint logic programming language based on partial instantiation technique for inference

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