نتایج جستجو برای: tennant
تعداد نتایج: 200 فیلتر نتایج به سال:
'Changing the Theory of Theory Change: Towards a Computational Approach' (Tennant [1994]; henceforth CTTQ claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criti...
Published Ahead of Print 2 July 2007. 10.1128/AAC.00325-07. 2007, 51(9):3177. DOI: Antimicrob. Agents Chemother. Bud C. Tennant Schinazi, Chung K. Chu, Paul J. Cote, John L. Gerin and F. D. Butler, Andrea L. George, Selwyn J. Hurwitz, Raymond Stephan Menne, Ghazia Asif, Jannan Narayanasamy, Scott Hepatitis Virus Infection Woodchucks with Chronic Woodchuck -d-2-Aminopurine Dioxolane in β )− Anti...
The networked information environment comprising digital libraries, digital collections, and digital repositories increase people’s expectations for information access. Specifically, users anticipate better search capabilities across these networked information resources and the metadata records associated with the resources. The opportunities also exist for improved information exchange or int...
Abstract Term-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they very useful practice their theory is not well developed. In the paper we provide a proof-theoretic formulation of general approach tfos provided independently by several authors Scott, Hatcher, Corcoran, and compare it with an proposed l...
تعیین جریان زیست محیطی در سامانه های رودخانه ای و سایر اکوسیستم های آبی، علم جدیدی در ایران و دیگر کشورهای در حال توسعه است. این پژوهش به ارزیابی نیاز اکولوژیکی در یک رودخانه، با روشهای مختلف و اکوهیدرولوژیکی می پردازد. در این تحقیق، نیاز زیست محیطی رودخانه زرینه رود (در شمال غرب ایران) در محدوده مطالعاتی پایین دست سد بوکان تا محل ورود به دریاچه ارومیه (در حدود 140 کیلومتر) با چهار روش t...
Last week, we talked a bit about the Anderson-Belnap logic of entailment, as discussed in Priest’s Introduction to Non-Classical Logic. For a quite different approach to entailment, we’ll look next week at Neil Tennant’s account. Doing things rather out of order, this week I’d like to say something more basic about the problems to which both Anderson and Belnap, on the one hand, and Tennant on ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید