Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: DIMACS Workshop on Descriptive Complexity and Finite Models Princeton University
Άλλοι συγγραφείς: Immerman, Neil, 1953- (επιμελητής.), Κολαΐτης, Φωκίων Γ. (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Providence, R.I. : American Mathematical Society, c1997.
Σειρά:DIMACS series in discrete mathematics and theoretical computer science 31.
Θέματα:

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 511.3 DIM
Αντίγραφο 1 Στη βιβλιοθήκη