Temporal non-commutative logic: Expressing time, resource, order and hierarchy
-
Published:2009-11-30
Issue:2
Volume:18
Page:
-
ISSN:1425-3305
-
Container-title:Logic and Logical Philosophy
-
language:
-
Short-container-title:LLP
Publisher
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Decidable First-Order Logic for Medical Reasoning;Knowlege-Based and Intelligent Information and Engineering Systems;2011