1
Julkaistu 2008
Sisällysluettelo: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... -- A Heuristic Approach for Constructing Ternary Covering Arrays Using Trinomial Coefficients...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2014
Sisällysluettelo: ... Competition and Workshop (CDMC2014) -- Stochastic Decision Making in Learning Classifier Systems through a...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2013
Sisällysluettelo: ... Based on Object Interactions Graph -- A Method  of Deploying Virtual Machine on Multi-Core CPU...
Hae kokoteksti
Elektroninen E-kirja