Event Analytics

From MaRDI portal

Revision as of 20:15, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2938147

Jump to:navigation, search

DOI10.1007/978-3-319-10882-7_2zbMath1432.68260OpenAlexW4205707725MaRDI QIDQ2938147

Jun Sun, Yuan-Fang Li, Jin-Song Dong, Yang Liu

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://ink.library.smu.edu.sg/sis_research/4991

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Event Analytics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2938147&oldid=15918076"