"Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003" - читать интересную книгу автора (David Basin, Burkhart Wolff)
© 2025 Библиотека RealLib.org
(support [a t] reallib.org)
(support [a t] reallib.org)
"Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003" - читать интересную книгу автора (David Basin, Burkhart Wolff) |
|
© 2025 Библиотека RealLib.org
(support [a t] reallib.org) |