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.
Онлайн доступ:	An electronic book accessible through the World Wide Web; click to view
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Будьте першим, хто залишить коментар!

Схожі ресурси