1
出版 2007
书本目录: ... Action Calculi and Description Logics -- Any-World Access to OWL from Prolog -- Applying Logical...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Affine Recursions -- Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers...
获取全文
电子 电子书