Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Droste, Manfred (Επιμελητής έκδοσης), Gurevich, Yuri (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Θέματα:
LEADER 00902nam a22002413u 4500
001 10103547
003 upatras
005 20210117204001.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Semantics of programming languages and model theory  |b Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126) 
650 4 |a COMPUTER MODELING  |9 113416 
650 4 |a IBFI  |9 119792 
650 4 |a PROGRAMMING LANGUAGES  |9 24271 
650 4 |a SEMINAR REPORT  |9 119794 
700 1 |a Droste, Manfred  |4 edt  |9 119850 
700 1 |a Gurevich, Yuri  |4 edt  |9 119851 
710 2 |a Internationales Begegnungs-und Forschungszentrum fur Informatik  |4 fnd  |9 119797 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 131679  |a CEID  |b CEID  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24 
999 |c 86283  |d 86283