Electronic Documents Search

Documents found: 2

1

Введение в алгоритмический язык ЛИСП: учебное пособие

Creators	Юдин Станислав Федорович
Organization	Ленинградский политехнический институт им. М. И. Калинина
Imprint	Ленинград: [ЛПИ], 1977
Electronic publication	Санкт-Петербург, 2021
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Лисп (LISP)
UDC	004.438(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.00.00
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/si21-422
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.8 Mb

The little prover

Creators	Friedman Daniel P.; Eastlund Carl
Other creators	Bibby Duane; Moore J. Strother; Felleisen Matthias
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2015
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные — Программы; Лисп (LISP); MIT Press eBooks Library
UDC	004.422.8; 004.438
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537

1