TY  - BOOK
AU  - Kisil, Vladimir V.
AU  - Pilipenko, Oleg, P., coaut.
TI  - Verifying the artificial intelligence / by Valdimir V. Kisi-l, Oleg P. Pilipenko
CY  - México : amento de Matemáticas
ER  -