نتایج جستجو برای: order logic but

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

Journal: :ACM Transactions on Computational Logic 2016

پایان نامه :دانشگاه امام رضا علیه اسلام - دانشکده ادبیات و علوم انسانی 1393

this research aims at answering the questions about translation problems and strategies applied by translators when translating cultural concepts. in order to address this issue, qualitative and quantitative study were conducted on two groups of subjects at imam reza international university of mashhad. these two groups were assigned as beginner and advanced translation students (10 students). ...

Journal: :ACM Transactions on Computational Logic 2013

Journal: :Annals of Pure and Applied Logic 2014

Journal: :Information Processing Letters 2021

• Every computation can be viewed as a graph that satisfies monadic second-order formula. recursively enumerable relation computed by such For this notion of computability, graphs need not coded strings or numbers. A binary on is if and only it formula logic. The latter means the defines set graphs, in usual way, each “computation graph” determines pair consisting an input output graph.

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده حقوق 1391

abstract when in administrative law the matter of administrative offences are raised, these offences would have legal nature if they are force able, some of these offences are related to administrative law, where as some other pelts are common in civil or penal law. the current research intends not only to consider the concept and foundation of administrative execution rules but also compares...

Journal: :Australasian Journal of Philosophy 2014

Journal: :Bulletin of the American Mathematical Society 1978

Journal: :Journal of Automated Reasoning 2016

Journal: :The Journal of Symbolic Logic 1969

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

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