Listar por agencia financiadora "Scientific Research Fund of Sichuan Provincial Science and Technology Department"
Mostrando ítems 1-1 de 1
-
Artículo
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
(IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...