Category theory applied to computation and control proceedings...[of]

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Manes, Ernest G., 1943- (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag 1975
Σειρά:Lecture notes in computer science 25
Θέματα:
LEADER 01180nam a2200289 u 4500
001 10021308
003 upatras
005 20210117205532.0
008 990415s1975 ge eng
020 |a 3540071423 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 003.5 
245 1 0 |a Category theory applied to computation and control  |b proceedings...[of]  |c First International Symposium, San Francisco, February 25-26, 1974; edited by E. G. Manes 
260 |a Berlin  |b Springer-Verlag  |c 1975 
300 |a x, 245 p.  |c 24 cm. 
490 0 |a Lecture notes in computer science  |v 25 
504 |a Includes bibliography 
650 4 |a Συστήματα ελέγχου  |9 385 
650 4 |9 148376  |a Έλεγχος, Θεωρία του 
700 1 |a Manes, Ernest G.,   |d 1943-  |4 edt  |9 40923 
760 0 |a Lecture notes in computer science  |g 25 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 003.5 M  |m 04301  |p 025000026343  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 003_500000000000000_M  |7 0  |9 183075  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 04301  |l 0  |o 003.5 M  |p 025000026343  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΜΑΝΙΑΚΗ  |d 1999-04 
999 |c 112961  |d 112961