Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Washington D.C. New York IEEE Computer Society Press Association for Computing Machinery c1986 c1986
Θέματα:
LEADER 01509nam a22002893u 4500
001 10102427
003 upatras
005 20210423114539.0
008 991022s eng
020 |a 0818607203 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Logic in Computer Science (1986)  |b Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986 
260 |a Washington D.C.  |a New York  |b IEEE Computer Society Press  |b Association for Computing Machinery  |c c1986 c1986 
300 |a xi, 383p.  |b fig. 
500 |a περιέχει βιβλιογραφία 
650 4 |a ACM/IEEE  |9 116777 
650 4 |a PROCEEDINGS  |9 24278 
650 4 |a Υπολογιστική  |9 63558 
650 4 |a ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ  |9 113060 
710 2 |a IEEE Computer Society  |4 fnd  |9 23536 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.131  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.131  |t 2 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_131000000000000_LOG  |7 0  |8 NFIC  |9 128288  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.131 LOG  |p 025000282845  |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 005_131000000000000_LOG  |7 0  |8 NFIC  |9 128289  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.131 LOG  |p 025000282880  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 84088  |d 84088