- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
162 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Kaiserslautern, Univ., Diss., 1986
- Keyword
-
Graph
Gleichheit (Mathematik)
Relation (Mathematik)
Graph
Relation
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
24.03.20232023, 12:01 AM 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
Other Objects (12)
Goal-directed reasoning in clausal logic with equality
Goal-directed reasoning in clausal logic with equality
Reasoning about accessibility for disabled using building graph models based on BIM/IFC
Using Graph Embedding Techniques in Process-Oriented Case-Based Reasoning
Equality of graphs up to complementation
Local Reasoning for Global Graph Properties
Temporal Knowledge Graph Embedding and Reasoning
Reasoning on graph-structured data with deep-learning, path-based methods, and tensor factorization
Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving
Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving
Fault reasoning based on naive physics
Inferring ontology graph structures using OWL reasoning
Goal-directed reasoning in clausal logic with equality
Goal-directed reasoning in clausal logic with equality
Reasoning about accessibility for disabled using building graph models based on BIM/IFC
Using Graph Embedding Techniques in Process-Oriented Case-Based Reasoning
Equality of graphs up to complementation
Local Reasoning for Global Graph Properties
Temporal Knowledge Graph Embedding and Reasoning
Reasoning on graph-structured data with deep-learning, path-based methods, and tensor factorization
Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving
Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving
Fault reasoning based on naive physics
Inferring ontology graph structures using OWL reasoning
Goal-directed reasoning in clausal logic with equality
Goal-directed reasoning in clausal logic with equality
Reasoning about accessibility for disabled using building graph models based on BIM/IFC
Using Graph Embedding Techniques in Process-Oriented Case-Based Reasoning
Equality of graphs up to complementation
Local Reasoning for Global Graph Properties
Temporal Knowledge Graph Embedding and Reasoning
Reasoning on graph-structured data with deep-learning, path-based methods, and tensor factorization
Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving
Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving
Fault reasoning based on naive physics