System description: spass version 1.0.0

机译：系统描述：有趣版本1.0.0

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Spass is an automated theorem prover for full first-order logic with equality. This system description provides a rough overview over recent developments.

机译：SPASS是一个具有相等的一阶逻辑的自动定理先驱。该系统描述提供了最近的开发概述。

著录项

来源
《International conference on automated deduction》|1999年||共5页
会议地点
作者
Christoph Weidenbach; Bijan Afshordel; Uwe Brahm; Christian Cohrs; Thorsten Engel; Enno Keen; Christian Theobalt; Dalibor Topic;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化系统理论;
关键词

相似文献

外文文献
中文文献
专利

1. GLOBAL-FATE (version 1.0.0): A geographical information system (GIS)-based model for assessing contaminants fate in the global river network [J] . Font Carme, Bregoli Francesco, Acu?a Vicen?, Geoscientific Model Development Discussions . 2019,第12期

机译：Global-Fate（版本1.0.0）：基于地理信息系统（GIS），用于评估全球河流网络中的污染物命运的模型
2. GLOBAL-FATE (version 1.0.0): A geographical information system (GIS)-based model for assessing contaminants fate in the global river network [J] . Carme Font, Francesco Bregoli, Vicen? Acu?a, Geoscientific Model Development . 2019,第12期

机译：Global-Fate（版本1.0.0）：基于地理信息系统（GIS），用于评估全球河流网络中的污染物命运的模型
3. LCice 1.0 – a generalized Ice Sheet System Model coupler for LOVECLIM version 1.3: description, sensitivities, and validation with the Glacial Systems Model (GSM version D2017.aug17) [J] . Bahadory Taimaz, Tarasov Lev Geoscientific Model Development Discussions . 2018,第9期

机译：LCICE 1.0 - Loveclim版本1.3的广义冰盖系统模型耦合器：使用冰川系统模型的描述，敏感度和验证（GSM版D2017.Aug17）
4. System description: spass version 1.0.0 [C] . Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, International conference on automated deduction . 1999

机译：系统描述：有趣版本1.0.0
5. Change Analysis across Version Histories of Systems Models [D] . Popoola, Saheed. 2021

机译：跨系统模型的版本历史进行更改分析
6. Systems Biology Graphical Notation: Process Description language Level 1 Version 2.0 [O] . Adrien Rougny, Vasundra Touré, Stuart Moodie, 2019

机译：系统生物学图形符号：流程描述语言1级版本2.0
7. Beschreibung der Merkmale aus den Personendatenbanken IEBS, IABS und LIAB, Version 1.0 : Handbuch-Version 1.0.0 (Description of the person-related Variables from the datasets IEBS, IABS and LIAB, Version 1.0 * Handbook Version 1.0.0) [O] . Dundler Agnes 100

机译：Beschreibung der merkmale aus den personendatenbanken IEBs，IaBs und LIaB，Version 1.0：Handbuch-Version 1.0.0（来自IEBs，IaBs和LIaB数据集的人员相关变量的说明，版本1.0 *手册版本1.0.0）

System description: spass version 1.0.0

摘要

著录项

相似文献

相关主题

期刊订阅