Title of article :
Clausal Logic and Logic Programming in Algebraic Domains
Author/Authors :
William C. Rounds، نويسنده , , Guoqiang Zhang، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
logics in artificial intelligence. , domain theory and applications , Logic programming
Journal title :
Information and Computation
Journal title :
Information and Computation
