The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: ML (Lenguaje de programación)
Introduction to HOL: A theorem-proving environment for higher order logic
djvu
Author:
Gordon M.J. C. Melham T.F. (eds.)
Language:
English
Year:
1993
0
0
30.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через