نتایج جستجو برای: were extracted

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

Journal: :Deutsches Aerzteblatt Online 2017

Journal: :Journal of Oleo Science 2002

Journal: :The Journal of the Kyushu Dental Society 1956

1999
James Caldwell

This paper presents a formalization of a sequent presentation of intuitionisitic propositional logic and proof of decidability. The proof is implemented in the Nuprl system and the resulting proof object yields a “correct-by-construction” program for deciding intuitionisitc propositional sequents. The extracted program turns out to be an implementation of the tableau algorithm. If the argument ...

پایان نامه :دانشگاه تربیت معلم - سبزوار - دانشکده ادبیات و زبانهای خارجی 1390

this study investigated the effects of planning on second-language written production with regard to task type. the participants were 75 iranian learners of english as a foreign language attending a private foreign language institution. they were asked to complete two different types of writing tasks (expository writing task and argumentative writing task) in different planned conditions (indiv...

پایان نامه :0 1374

the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - پژوهشکده ادبیات 1391

the major purpose of this study was to develop the translation teacher competency test (ttct) and examine its construct and predictive validity. the present study was conducted in two phases: a qualitative phase as well as a quantitative phase. in the first phase of the study, the author attempted to find out the major areas of competency required for an academic translation teacher. the second...

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

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