- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Koblenz, Universität Koblenz, Dissertation, 2024
- Keyword
-
Automatisches Beweisverfahren
Inferenz
Terminologische Logik
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Koblenz
- (who)
-
Universität Koblenz
- (when)
-
2024
- Creator
-
Peuter, Dennis
- Contributor
-
Sofronie-Stokkermans, Viorica
Ghilardi, Silvio
Fontaine, Pascal
- URN
-
urn:nbn:de:hbz:kob7-25076
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:34 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Peuter, Dennis
- Sofronie-Stokkermans, Viorica
- Ghilardi, Silvio
- Fontaine, Pascal
- Universität Koblenz
Time of origin
- 2024
Other Objects (12)
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data
The Hierarchical Symbol Integration Model of Individual Differences in Mathematical Skill
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data
The Hierarchical Symbol Integration Model of Individual Differences in Mathematical Skill
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data