"Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005" - читать интересную книгу автора (Joe Hurd, Tom Melham)
© 2025 Библиотека RealLib.org
(support [a t] reallib.org)
(support [a t] reallib.org)
"Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005" - читать интересную книгу автора (Joe Hurd, Tom Melham) |
|
© 2025 Библиотека RealLib.org
(support [a t] reallib.org) |