The little prover /

Сохранить в:

Библиографические подробности
Главные авторы:	Friedman, Daniel P. (Автор), Eastlund, Carl (Автор)
Другие авторы:	Bibby, Duane (Иллюстратор), Moore, J. Strother (Автор введения и т.д.), Felleisen, Matthias (Автор послесловия, логотип и т.д.)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Предметы:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online-ссылка:	An electronic book accessible through the World Wide Web; click to view
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Internet