1. Home
  2. Medien
  3. Bücher
  4. Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)
  • #
  • #

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

53.49 EUR

Teilen:
Gesponsert

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

Medimops DE
53.49 EUR
21-04-2026 03:03:38
Gesponsert

Graph-Based Proof Procedures for Horn Clauses

SpringerLink DE
53.49 EUR
21-04-2026 06:05:14

Ähnliche Produkte

Mugnier, Marie-Laure: Graph-based Knowledge Representation

Mugnier, Marie-Laure: Graph-based Knowledge Representation

174.98 EUR
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs

Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs

192.59 EUR
Mernberger, Marco: Graph-based approaches to protein structure comparison

Mernberger, Marco: Graph-based approaches to protein structure comparison

89.90 EUR
Optoelectronic properties of carbon-based nanostructures: Steering electrons in graphene by electromagnetic fields

Optoelectronic properties of carbon-based nanostructures: Steering electrons in graphene by electromagnetic fields

59.00 EUR
Graph-Based Procedural Abstraction

Graph-Based Procedural Abstraction

49.00 EUR
Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)

Optoelectronic Properties of Graphene-Based van der Waals Hybrids (Springer Theses)

145.04 EUR
Graph-Based Representations in Pattern Recognition: 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings

Graph-Based Representations in Pattern Recognition: 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings

52.94 EUR
Model-based Health Monitoring of Hybrid Systems

Model-based Health Monitoring of Hybrid Systems

106.99 EUR