1
Publicat 2013
Taula de continguts: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
Obtenir text complet
Electrònic eBook
2
Publicat 2012
Taula de continguts: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obtenir text complet
Electrònic eBook
3
Publicat 2012
Taula de continguts: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... for the Simultaneous Resolution of a Set of Instances -- Honey Bees Mating Optimization Algorithm for the Vehicle...
Obtenir text complet
Electrònic eBook