Titel: | Category theory applied to computation and control |
Titelzusatz: | proceedings of the First International Symposium, San Francisco, February 25 - 26, 1974 |
Mitwirkende: | Manes, Ernest Gene |
| Manes, Ernest G. [Hrsg.] |
Institutionen: | International Symposium Category Theory Applied to Computation and Control <1, 1974, San Francisco, Calif.> |
Verf.angabe: | ed. by E. G. Manes |
Verlagsort: | Berlin ; Heidelberg [u.a.] |
Verlag: | Springer |
Jahr: | 1975 |
Umfang: | X, 245 S |
Illustrationen: | zahlr. graph. Darst |
Gesamttitel/Reihe: | Lecture notes in computer science ; 25 |
Fussnoten: | Beitr. teilw. dt., teilw. engl |
ISBN: | 3-540-07142-3 |
| 0-387-07142-3 |
| 978-3-540-07142-6 |
| 978-0-387-07142-8 |
Schlagwörter: | (s)Kategorientheorie |
| (s)Kategorie <Mathematik> / (s)Informatik |
| (s)Kategorie <Mathematik> |
| (s)Automatentheorie |
Dokumenttyp: | Konferenzschrift: (1974 : San Francisco, Calif.) |
Sprache: | eng ger |
Reproduktion: | Online-Ausg.: Category theory applied to computation and control. - Berlin [u.a.]: Springer, 1975. - Online-Ressource (X, 245 S.) |
Bibliogr. Hinweis: | Erscheint auch als : Online-Ausgabe: Manes, Ernest G., 1943 - : Category Theory Applied to Computation and Control. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. - Online-Ressource |
RVK-Notation: | QH 500 |
| SS 4800 |
| SK 320 |
K10plus-PPN: | 039565505 |
Verknüpfungen: | → Übergeordnete Aufnahme |
3-540-07142-3,0-387-07142-3,978-3-540-07142-6,978-0-387-07142-8
Category theory applied to computation and control / Manes, Ernest Gene; 1975
1036482