1
Julkaistu 2013
Sisällysluettelo: ... of Bioregulatory Networks -- Canonical Ground Horn Theories -- Generic Functional Representation of Sorted Trees...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... -- Situated Support for Choice of Representation for a Semantic Web Application -- Towards Systematic Model...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
Hae kokoteksti
Elektroninen E-kirja