نتایج جستجو برای: temporal logic

تعداد نتایج: 383902  

Journal: :حکمت و فلسفه 0
لطف الله نبوی هیئت علمی دانشگاه علامه طباطبایی

one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...

Journal: :Modeling and Analysis of Information Systems 2020

Journal: :Journal of Symbolic Computation 1989

Journal: :Electronic Proceedings in Theoretical Computer Science 2017

Journal: :Electronic Proceedings in Theoretical Computer Science 2020

Journal: :Studies in Logic, Grammar and Rhetoric 2015

Journal: :ACM Transactions on Programming Languages and Systems 1989

Journal: :Journal of the ACM 2002

Journal: :Notre Dame Journal of Formal Logic 1996

Journal: :Theoretical Computer Science 2017

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید