Equational logic as a programming language

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: O'Donnell, Michael J. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985
Θέματα:
LEADER 01082nam a22002293u 4500
001 10100919
003 upatras
005 20210117203713.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Equational logic as a programming language 
260 |a Cambridge Mass.  |b Massachusetts Institute of Technology Cambridge Mass.  |c c1985 
300 |a 296p.  |b fig. 
650 4 |a PROGRAMMING LANGUAGES  |9 24271 
650 4 |a ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ  |9 113043 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Γλώσσες προγραμματισμού  |9 263 
700 1 |a O'Donnell, Michael J.  |4 aut  |9 113197 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.13 O'DON  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_130000000000000_ODO  |7 0  |8 NFIC  |9 123317  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.13 O'DO  |p 025000282963  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 81146  |d 81146