نتایج جستجو برای: acartia clausi
تعداد نتایج: 490 فیلتر نتایج به سال:
Clausi cation is an essential step in the so called resolution method one of the most successful procedures for automated theorem proving Anticipating the use of resolution in proof construction systems based on type theory we elaborate the clausi cation procedure in Coq and illustrate its usefulness The results presented in this paper also constitute the formal veri cation of the correctness o...
Mecynocera clausi I.C. Thompson, 1888 is the type genus and species of the monotypic family Mecynoceridae Andronov, 1973. Based on the first description of male mouthparts of Mecynocera clausi Thompson, 1888 (Copepoda: Calanoida), evidence is presented for the transfer of this genus and species to the Paracalanidae Giesbrecht, 1893. Thus, Mecynoceridae Andronov, 1973 becomes a junior synonym of...
This review presents a detailed analysis of the state of knowledge of studies done in Mexico related to the dinoflagellate Gymnodinium catenatum, a paralytic toxin producer. This species was first reported in the Gulf of California in 1939; since then most studies in Mexico have focused on local blooms and seasonal variations. G. catenatum is most abundant during March and April, usually associ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید