OPAC

Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / edited by Helle Hvid Hansen, Fabio Zanasi
(Lecture Notes in Computer Science. ISSN:16113349 ; 13225)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	XVII, 195 p. 8 illus : online resource
著者標目	Hansen, Helle Hvid editor Zanasi, Fabio editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002364	Computer Scinece R0 2005-6,2022-3				9783031107368

一般注記	This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras HTTP:URL=https://doi.org/10.1007/978-3-031-10736-8
件　名	LCSH:Machine theory LCSH:Logic programming LCSH:Computer science—Mathematics FREE:Formal Languages and Automata Theory FREE:Logic in AI FREE:Mathematics of Computing
分　類	LCC:QA267-268.5 DC23:005.131
書誌ID	EB00001752
ISBN	9783031107368