"Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007" - читать интересную книгу автора (Klaus Schneider, Jens Brandt)
© 2025 Библиотека RealLib.org
(support [a t] reallib.org)
(support [a t] reallib.org)
"Theorem Proving in Higher Order Logics, 20 conf., TPHOLs 2007" - читать интересную книгу автора (Klaus Schneider, Jens Brandt) |
|
© 2025 Библиотека RealLib.org
(support [a t] reallib.org) |