- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898383349
9781607507192
- Maße
-
21 cm
- Umfang
-
XX, 247 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 2010
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Vol. 334
- Schlagwort
-
Beweis
Mathematikstudium
Automatisches Beweisverfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
[Amsterdam], Heidelberg
- (wer)
-
IOS Press, AKA
- (wann)
-
2011
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:36 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Schiller, Marvin
- IOS Press, AKA
Entstanden
- 2011
Ähnliche Objekte (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