January to August temperature variability since 1776 inferred from tree-ring width of Pinus tabulaeformis in Helan Mountain

IEECAS SKLLQG

基于最大不动点模型的描述逻辑系统FL��的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

Bioecologia e controle da cochonilha-parda Parthenolecanium persicae (Fabricius, 1776) (Hemiptera: Coccidade) na cultura da videira.

2002

Calyptostoma velutinum (Müller, 1776) (Acari, Actinotrichida, Parasitengona) s. lato na tle Calyptostomatoidea świata

Wydział Biologii i Hodowli Zwierząt Uniwersytet Przyrodniczy we Wrocławiu

The Hawaiian Islands, as developed by missionary labors. By Andrew P. Peabody. From the Boston Review for May, 1865.

http://www.archive.org/details/hawaiianislandsa00peabiala

Missions the chief end of the Christian Church; also, the qualifications, duties, and trials, of an Indian Missionary: being the substance of services held on the 7th March, in St. Andrew's Church, Edinburgh, at the ordination of the Rev. Thomas Smith.

http://books.google.com/books?vid=OCLC55772204