Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)
Medimops DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 12:47:52
Siehe Produktangebot
Gesponsert
Graph-Based Proof Procedures for Horn Clauses
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 03:29:08
Siehe Produktangebot

Allgemein

Marke
BIRKHÄUSER

Eigenschaften

Ähnliche Produkte

Advances on Graph-Based Approaches in Information Retrieval: First International Workshop, IRonGraphs 2024, Glasgow, UK, March 24, 2024, Proceedings ... Computer and Information Science, Band 2197)
Advances on Graph-Based Approaches in Information Retrieval: First International Workshop, IRonGraphs 2024, Glasgow, UK, March 24, 2024, Proceedings ... Computer and Information Science, Band 2197)
Produkt anzeigen
Leordeanu, Marius: Unsupervised Learning in Space and Time
Leordeanu, Marius: Unsupervised Learning in Space and Time
Produkt anzeigen
Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)
Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)
Produkt anzeigen
Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, ... Notes in Computer Science, Band 12879)
Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, ... Notes in Computer Science, Band 12879)
Produkt anzeigen
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs (Advanced Information and Knowledge Processing)
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs (Advanced Information and Knowledge Processing)
Produkt anzeigen
Graph-Based Knowledge Representation
Graph-Based Knowledge Representation
Produkt anzeigen
Menü