Publisher： Cambridge University Press
E-ISSN： 1475-3081|17|5-6|819-836
ISSN： 1471-0684
Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 819-836
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Mathematical Programming in Computational Biology: an Annotated Bibliography
Algorithms, Vol. 1, Iss. 2, 2008-11 ,pp. :
Access to resources
Recommend
The Logic of the Physics of Information
Information, Vol. 5, Iss. 3, 2014-07 ,pp. :
Angeletics and Logic in Reality
Information, Vol. 3, Iss. 4, 2012-11 ,pp. :
On the Predictability of Classical Propositional Logic
By Finger Marcelo Reis Poliana M.
Information, Vol. 4, Iss. 1, 2013-01 ,pp. :
Temporal logic programs with variables
Theory and Practice of Logic Programming, Vol. 17, Iss. 2, 2017-03 ,pp. :
Access to resources