- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Author "Zhu, Ming"
Now showing items 1-1 of 1
-
Article
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
Zhu, Ming; Zhang, Gexiang; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...