LEADER 00913nam a2200181 a 4500
001 1367113
005 20171111233331.0
008 080626s2007 gr er 000 0 eng d
040 |a GrAtEKP. Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 511.52 
100 1 |a Νίκας, Βασίλης 
245 1 0 |a Succinctness of logics on trees/  |c Nikas Vassilis 
260 |a Αθήνα:  |b [χ.ό],  |c 2007 
300 |a 53 σ. ;  |c 28 εκ. 
650 0 |a Trees (Mathematics) 
710 0 |a Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών.  |b Σχολή Θετικών Επιστημών.  |b Τμήμα Μαθηματικών. 
710 0 |b Διαπανεπιστημιακό Μεταπτυχιακό Πρόγραμμα στη Λογική και Θεωρία Αλγορίθμων και Υπολογισμού (ΜΠΛΑ) 
952 |a GrAtEKP  |b 59cd19816c5ad134460fad5b  |c 998a  |d 945l  |e ΜΔ 511.52 ΝικΒ s 2007  |t 1  |x m  |z Books