- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 135, 2000
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2005
- DOI
-
10.18452/2440
- URN
-
urn:nbn:de:kobv:11-10039541
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 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.
Associated
- Naumann, Felix
- Freytag, Johann-Christoph
- Humboldt-Universität zu Berlin
Time of origin
- 2005
Other Objects (12)
Completeness of Information Sources
Completeness of integrated Information Sources
Managing and Consuming Completeness Information for RDF Data Sources
On stochastic completeness of weighted graphs
Henkin Completeness of Higher-Order Resolution
Completeness and limitation of natural languages
Sources of information
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Graph algorithms and NP-completeness
Informal rigour and completeness proofs
Note on completeness and definability
Completeness of Information Sources
Completeness of integrated Information Sources
Managing and Consuming Completeness Information for RDF Data Sources
On stochastic completeness of weighted graphs
Henkin Completeness of Higher-Order Resolution
Completeness and limitation of natural languages
Sources of information
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Graph algorithms and NP-completeness
Informal rigour and completeness proofs
Note on completeness and definability
Completeness of Information Sources
Completeness of integrated Information Sources
Managing and Consuming Completeness Information for RDF Data Sources
On stochastic completeness of weighted graphs
Henkin Completeness of Higher-Order Resolution
Completeness and limitation of natural languages
Sources of information
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Graph algorithms and NP-completeness
Informal rigour and completeness proofs