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

Wo zu kaufen (3) 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: 10-11-2026 13:35:44
Siehe Produktangebot
Gesponsert
Graph-Based Proof Procedures for Horn Clauses
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 11:20:10
Siehe Produktangebot
Gesponsert
Graph-Based Proof Procedures for Horn Clauses
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 13:13:02
Siehe Produktangebot

Allgemein

Marke
BIRKHÄUSER

Eigenschaften

Ähnliche Produkte

Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)
Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)
Aus145.04 EUR 4
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)
Aus174.98 EUR 3
Produkt anzeigen
Graph-Based Knowledge Representation
Graph-Based Knowledge Representation
Aus212.50 EUR 1
Produkt anzeigen
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)
Aus63.99 EUR 4
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)
Aus79.64 EUR 4
Produkt anzeigen
Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11–13, 2023, ... Notes in Computer Science, 14133, Band 14133)
Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11–13, 2023, ... Notes in Computer Science, 14133, Band 14133)
Aus58.84 EUR 3
Produkt anzeigen
Menü