Descriptive complexity /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Immerman, Neil, 1953- (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York : Springer, c1999.
Σειρά:Graduate texts in computer science
Θέματα:
LEADER 01907nam a2200313 u 4500
001 10034763
003 upatras
005 20210909144718.0
008 110503s1999 us eng
952 |0 0  |1 0  |4 0  |6 511_300000000000000_IMM  |7 0  |9 4946  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 061084  |l 0  |o 511.3 IMM  |p 025000082007  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_IMM  |7 0  |9 4947  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 105696  |l 0  |o 511.3 IMM  |p 025000200154  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_IMM  |7 0  |9 137801  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 511.3 IMM  |p 025000282164  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών Η/Υ & Πληροφορικής 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_IMM  |7 0  |8 NFIC  |9 137802  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 511.3 IMM  |p 025000282165  |r 2016-04-24 00:00:00  |t 4  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 2377  |d 2377 
020 |a 0387986006 
040 |a GR-PaULI  |c GR-PaULI 
082 0 4 |a 511.3 
100 1 |a Immerman, Neil,  |9 4971  |d 1953-  |e συγγραφέας 
245 1 0 |a Descriptive complexity /  |c Neil Immerman. 
260 |a New York :  |b Springer,  |c c1999. 
300 |a xvi, 268 σ. :  |b εικ. ;  |c 25 εκ. 
490 0 |a Graduate texts in computer science 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Υπολογιστική πολυπλοκότητα  |9 20484 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 511.3 IMM  |m 061084  |p 025000082007  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ-12  |h 511.3 IMM  |m 105696  |p 025000200154  |t 2 
942 |2 ddc  |c BK15 
998 |c ΑΒΑΚΟΜΙΔΗ  |d 2011-05