Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings

Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / Daniela Petrişan, Jurriaan Rot (eds.).

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون مشاركون: Workshop on Coalgebraic Methods in Computer Science Online, ETAPS (Conference)
مؤلفون آخرون: Petrişan, Daniela, Rot, Jurriaan
التنسيق: كتاب الكتروني
اللغة:English
منشور في: Cham, Swizterland : Springer, 2020.
سلاسل:Lecture notes in computer science ; 12094.
LNCS sublibrary. Theoretical computer science and general issues.
الموضوعات:
Computer science > Mathematics > Congresses.
Computer software > Mathematics > Congresses.
Mathematical theory of computation.
Artificial intelligence.
Computers > Programming > Algorithms.
Computers > Intelligence (AI) & Semantics.
Mathematics > Logic.
Matemáticas discretas
Matemáticas
Computer science > Mathematics
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
الوصول للمادة أونلاين:Click for online access
تسجيل الدخول لمعلومات الحجز والاستدعاء

الانترنت

Click for online access

Online

تفاصيل المقتنيات من Online
متاح

مواد مشابهة