Title of article :
A necessary condition for Constructive Negation in Constraint Logic Programming
Author/Authors :
Agostino Dovier، نويسنده , , Enrico Pontelli، نويسنده , , Gianfranco Rossi، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Pages :
10
From page :
147
To page :
156
Keywords :
Automatic theorem proving , programming languages , Formal semantics , constraint logic programming , negation
Journal title :
Information Processing Letters
Serial Year :
2000
Journal title :
Information Processing Letters
Record number :
129221
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129221
بازگشت