Anzeige der Dokumente 11-20 von 5
Counting hierarchy (1) |
Dependence logic (5) |
Descriptive complexity (1) |
Exponential time (1) |
Expressivity (1) |
Finite model theory (1) |
Formal logic (5) |
Formal verification (1) |
Generalized dependence atom (1) |
Hilbert (1) |
Anzeige der Dokumente 11-20 von 5