Publisher： Cambridge University Press
E-ISSN： 1475-3081|17|5-6|708-725
ISSN： 1471-0684
Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 708-725
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
Access to resources
Recommend
On the Predictability of Classical Propositional Logic
By Finger Marcelo Reis Poliana M.
Information, Vol. 4, Iss. 1, 2013-01 ,pp. :
Enumeration of parallel manipulators
Robotica, Vol. 27, Iss. 4, 2009-07 ,pp. :
Access to resources
Bond and CDS Pricing via the Stochastic Recovery Black-Cox Model
By Cohen Albert Costanzino Nick
Risks, Vol. 5, Iss. 2, 2017-04 ,pp. :
An Axiomatic Account of Question Evocation: The Propositional Case
Axioms, Vol. 5, Iss. 2, 2016-05 ,pp. :