Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
View Other Search Results
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Meersman, Robert. editor.
Format:
Electronic Resources
Alıntı:
Enactment -- Log-Based Understanding of Business Processes through Temporal Logic Query Checking -- Approach
Yazar
Meersman, Robert. editor.
Format:
Electronic Resources
Alıntı:
-- ArThUR: A Tool for Markov Logic Network -- An Overview of Attributes Characterization for