"Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001" - читать интересную книгу автора (Alberto Pettorossi)
© 2026 Библиотека RealLib.org
(support [a t] reallib.org)
(support [a t] reallib.org)
"Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001" - читать интересную книгу автора (Alberto Pettorossi) |
|
© 2026 Библиотека RealLib.org
(support [a t] reallib.org) |