首页> 外文OA文献 >Geo-Ontology and Geographical Information System Extended by a first-order logic language: Application to malaria control

【2h】

Geo-Ontology and Geographical Information System Extended by a first-order logic language: Application to malaria control

机译：由一阶逻辑语言扩展的地质本体和地理信息系统：应用于疟疾控制

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Guillaume Koum;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An application of first-order logic to the study of recognizable languages [J] . Silva PV International journal of algebra and computation . 2004,第5a6期

机译：一阶逻辑在可识别语言研究中的应用
2. Quantitative Variants of Language Equations and their Applications to Description Logics Extending Unification in Description Logics [J] . Marantidis Pavlos Kunstliche Intelligenz . 2020,第3期

机译：语言方程的定量变体及其应用程序在描述逻辑中扩展统一的逻辑
3. Application of geographical information system and remote sensing in malaria research and control in South Africa: a review [J] . Abiodun Morakinyo Adeola, Joel O Botai, Jane Mukarugwiza Olwoch, Southern African Journal of Infectious Diseases . 2015,第4期

机译：地理信息系统和遥感在南非疟疾研究和控制中的应用：综述
4. Design of VACL: a visual script language system which controls and extends applications on a graphical user interface environment [C] . Shigesada, Y., Koshizuka, TRON Project International Symposium, 1996. TEPS '96 . 1996

机译：VACL的设计：一种视觉脚本语言系统，用于控制和扩展图形用户界面环境上的应用程序
5. Basic model theory of finitary and infinitary languages of first-order logic with dependent sorts (FOLDS). [D] . Boudreault, Christian. 2007

机译：具有相关排序（FOLDS）的一阶逻辑的最终语言和最终语言的基本模型理论。
6. Modeling and Simulation of Control Actuation System with Fuzzy-PID Logic Controlled Brushless Motor Drives for Missiles Glider Applications [O] . Murali Muniraj, Ramaswamy Arulmozhiyal 2015

机译：模糊PID逻辑控制的无刷电机驱动控制系统的建模与仿真
7. Characterization of $omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications) [O] . Kobayashi Kojiro, Takahashi Masako, Yamasaki Hideki 1983

机译：一阶公式对$ omega $-常规语言的表征：扩展的摘要（关于计算方案的数学理论及其应用）
8. Significant Accomplishments and Documentation of the International Purdue Workshop on Industrial Computer Systems. Part I. Extended FORTRAN for Industrial Real-Time Applications and Studies on Problem-Oriented Languages. [R] . 1977

机译：国际purdue工业计算机系统研讨会的重要成就和文件。第一部分。工业实时应用和面向问题语言研究的扩展FORTRaN。

Geo-Ontology and Geographical Information System Extended by a first-order logic language: Application to malaria control

著录项

引文网络

相似文献

相关主题

期刊订阅