- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898383240
9781586039837
- Dimensions
-
21 cm
- Extent
-
X, 283 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Koblenz, Landau (Pfalz), Univ., Diss., 2008
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Vol. 324
- Keyword
-
Automatisches Beweisverfahren
Quantorenelimination
Logische Programmierung
Wissensrepräsentation
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, [Amsterdam]
- (who)
-
AKA, IOS Press
- (when)
-
2009
- Creator
-
Wernhard, Christoph
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:21 PM CET
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.
Object type
- Hochschulschrift
Associated
- Wernhard, Christoph
- AKA, IOS Press
Time of origin
- 2009
Other Objects (12)
Exploiting Semantic Web knowledge graphs in data mining
Formal concept analysis and tag recommendations in collaborative tagging systems
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems
Neural generation of textual summaries from knowledge base triples
Services for connecting and integrating big numbers of linked datasets
Description logic rules
Acquisition and understanding of process knowledge using problem solving methods
Shaping emerging technologies : governance, innovation, discourse
The semantic web in earth and space science : current status and future directions
Application of semantic technology in biodiversity science
Knowledge acquisition from a collaboratively generated encyclopedia
Learning OWL class expressions
Exploiting Semantic Web knowledge graphs in data mining
Formal concept analysis and tag recommendations in collaborative tagging systems
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems
Neural generation of textual summaries from knowledge base triples
Services for connecting and integrating big numbers of linked datasets
Description logic rules
Acquisition and understanding of process knowledge using problem solving methods
Shaping emerging technologies : governance, innovation, discourse
The semantic web in earth and space science : current status and future directions
Application of semantic technology in biodiversity science
Knowledge acquisition from a collaboratively generated encyclopedia
Learning OWL class expressions
Exploiting Semantic Web knowledge graphs in data mining
Formal concept analysis and tag recommendations in collaborative tagging systems
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems
Neural generation of textual summaries from knowledge base triples
Services for connecting and integrating big numbers of linked datasets
Description logic rules
Acquisition and understanding of process knowledge using problem solving methods
Shaping emerging technologies : governance, innovation, discourse
The semantic web in earth and space science : current status and future directions
Application of semantic technology in biodiversity science
Knowledge acquisition from a collaboratively generated encyclopedia