1
Julkaistu 2013
Sisällysluettelo: ... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...
Hae kokoteksti
Elektroninen E-kirja
2
Aiheet: ...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2008
Sisällysluettelo: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2005
Sisällysluettelo: ... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...
Hae kokoteksti
Elektroninen E-kirja