1. Home
  2. Medien
  3. Bücher
  4. Model and Proof Theory of Constructive ALC: Constructive Description Logics
  • #

Model and Proof Theory of Constructive ALC: Constructive Description Logics

Teilen:
Gesponsert

Produkte ansehen bei eBay

eBay
Gesponsert

Produkte ansehen bei Back Market DE

Back Market DE
Gesponsert

Produkte ansehen bei AsGoodAsNew DE

AsGoodAsNew DE
Gesponsert

Produkte ansehen bei Alternate DE

Alternate DE
Gesponsert

Produkte ansehen bei Beauty Welt (DE)

Beauty Welt (DE)
Gesponsert

Produkte ansehen bei babymarkt.de

babymarkt.de
Gesponsert

Produkte ansehen bei DeubaXXL DE

DeubaXXL DE

Ähnliche Produkte

Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

58.84 EUR
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... Complexity

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... Complexity

88.91 EUR
Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

45.00 EUR
Sets, Models and Proofs

Sets, Models and Proofs

34.80 EUR
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Formal Semantics and Proof Techniques for Optimizing VHDL Models

106.99 EUR
Data Refinement: Model-Oriented Proof Methods and their Comparison

Data Refinement: Model-Oriented Proof Methods and their Comparison

110.91 EUR
Data Refinement: Model-Oriented Proof Methods and their Comparison

Data Refinement: Model-Oriented Proof Methods and their Comparison

63.02 EUR
Future Proof Leadership

Future Proof Leadership

18.70 EUR