Period of time： 2004年5期
Publisher： Academic Press
Founded in： 1985
Total resources： 48
ISSN： 0747-7171
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Symbolic Computation,volume 22,issue 5
Menu
Editorial: Executable Temporal Logics
By Fisher M.,Kono S.,Orgun M.A. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.
Access to resources
Recommend
Timed Default Concurrent Constraint Programming
By Saraswat V.,Jagadeesan R.,Gupta V. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.Deriving Liveness Goals from Temporal Logic Specifications
By Caleiro C.,Saake G.,Sernadas A. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.Temporal Annotated Constraint Logic Programming
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.By Ahmed M.,Venkatesh G. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.Executable Temporal Logic for Non-monotonic Reasoning
By Engelfriet J.,Treur J. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.Temporal Semantics for Concurrent M ETATE M
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.A Non-standard Temporal Deductive Database System
By Gagne J.R.,Plaice J. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.NatureTime: Temporal Granularity in Simulation of Ecosystems
By Mota E.,Robertson D.,Smaill A. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.Dealing with Multiple Granularity of Time in Temporal Logic Programming
By Liu C.,Orgun M.A. in (1996)
Journal of Symbolic Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 1996-11 , pp.
Previous
Next