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.
Θέματα:
LEADER 01525cam a2200313 a 4500
001 3068853
003 GR-PaULI
005 20220124132705.0
008 970106s1997 riua b 100 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_DIM  |7 0  |9 139418  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 254680  |l 0  |o 511.3 DIM  |p 025000289611  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15 
999 |c 91181  |d 91181 
010 |a  97000427  
020 |a 0821805177  
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
111 2 |9 189636  |a DIMACS Workshop on Descriptive Complexity and Finite Models  |d (1996 :  |c Princeton University) 
245 0 0 |a Descriptive complexity and finite models :  |b proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /  |c Neil Immerman, Phokion G. Kolaitis, editor. 
260 |a Providence, R.I. :  |b American Mathematical Society,  |c c1997. 
300 |a xiv, 248 σ. :  |b εικ. ;  |c 26 εκ. 
490 1 |a DIMACS series in discrete mathematics and theoretical computer science   |v 31. 
500 |a   
500 |a   
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές. 
650 4 |a Υπολογιστική πολυπλοκότητα  |9 20484 
700 1 |a Immerman, Neil,  |d 1953-  |9 4971  |e επιμελητής. 
700 1 |a Κολαΐτης, Φωκίων Γ.  |9 189635  |e επιμελητής. 
830 0 |9 187032  |a DIMACS series in discrete mathematics and theoretical computer science  |v 31. 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2022-01