1
Publicado em 2007
Sumário: ... Action Calculi and Description Logics -- Any-World Access to OWL from Prolog -- Applying Logical...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... Affine Recursions -- Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers...
Obter o texto integral
Recurso Eletrônico livro eletrônico