- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898383349
9781607507192
- Dimensions
-
21 cm
- Extent
-
XX, 247 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 2010
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Vol. 334
- Keyword
-
Beweis
Mathematikstudium
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
[Amsterdam], Heidelberg
- (who)
-
IOS Press, AKA
- (when)
-
2011
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:36 PM 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.
Object type
- Hochschulschrift
Associated
- Schiller, Marvin
- IOS Press, AKA
Time of origin
- 2011
Other Objects (12)
A change-oriented architecture for mathematical authoring assistance
Enabling collaboration on semiformal mathematical knowledge by semantic web integration
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Automated deduction for projection elimination
Spatial and temporal resolution of sensor observations
Semantic search for novel information
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows
A change-oriented architecture for mathematical authoring assistance
Enabling collaboration on semiformal mathematical knowledge by semantic web integration
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Automated deduction for projection elimination
Spatial and temporal resolution of sensor observations
Semantic search for novel information
Ontologie-basierte Informationsextraktion zum Aufbau einer Wissensbasis für Dokumentgetriebene Workflows
A change-oriented architecture for mathematical authoring assistance
Enabling collaboration on semiformal mathematical knowledge by semantic web integration
From people to entities: new semantic search paradigms for the web
Knowledge acquisition from a collaboratively generated encyclopedia
A method for reusing and re-engineering non-ontological resources for building ontologies
Application of semantic technology in biodiversity science
Formal concept analysis and tag recommendations in collaborative tagging systems
Federated query processing for the semantic web
Automated deduction for projection elimination
Spatial and temporal resolution of sensor observations
Semantic search for novel information