Descriptive complexity and finite models :
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Neil Immerman, Phokion G. Kolaitis, editor.
- Providence, R.I. : American Mathematical Society, c1997.
- xiv, 248 σ. : εικ. ; 26 εκ.
- DIMACS series in discrete mathematics and theoretical computer science 31. .
- DIMACS series in discrete mathematics and theoretical computer science 31. .
Περιλαμβάνει βιβλιογραφικές παραπομπές.
0821805177
97000427
Υπολογιστική πολυπλοκότητα
511.3
Περιλαμβάνει βιβλιογραφικές παραπομπές.
0821805177
97000427
Υπολογιστική πολυπλοκότητα
511.3