Livres — formal systems

RU
Programmation : logique combinatoire

Programmation : logique combinatoire

A

И. А. Кудрявцева, М. В. Швецкий

Langages de programmation
RU
Logique mathématique et théorie des algorithmes : manuel

Logique mathématique et théorie des algorithmes : manuel

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

Algorithmes et théorie