1
Published 2007
Table of Contents: ...Fundamentals of Reasoning and Reasoning Languages -- Foundations of Rule-Based Query Answering...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Schemes: Past, Present, and Future -- Monad-Based Logics for Computational Effects -- Contributed Papers...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Hypermedia Discourse: Contesting Networks of Ideas and Arguments -- Dynamic Epistemic Logic and Knowledge...
View full text
Electronic eBook
4
Subjects: ...Data Storage Representation. https://scigraph.springernature.com/ontologies/product-market-codes/I...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Order for Decision Diagram-Based Representation from P/T Nets -- Bounded Model Checking for Parametric...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Bitmap Representation -- Dimension Transform Based Efficient Event Filtering for Symmetric Publish...
View full text
Electronic eBook