Publisher： Cambridge University Press
E-ISSN： 1475-3081|17|5-6|684-688
ISSN： 1471-0684
Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-10, pp. : 684-688
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
Foreword: special issue on coalgebraic logic
Mathematical Structures in Computer Science, Vol. 27, Iss. 7, 2017-10 ,pp. :
Access to resources
Recommend
Special Issue on: Temporal Logic in Engingeering
AI EDAM, Vol. 11, Iss. 3, 1997-06 ,pp. :
Introduction to the special FMS issue
Robotica, Vol. 3, Iss. 4, 1985-10 ,pp. :
Introduction to the special “CAD in Robotics” issue
Robotica, Vol. 5, Iss. 4, 1987-10 ,pp. :
Introduction to the special issue on robotic vision
Robotica, Vol. 2, Iss. 1, 1984-01 ,pp. :