Literate Programming
Donald Knuth, „a számítástechnika atyja” és az írástudatos programozás feltalálója esszéinek ezen antológiája olyan kapcsolódó témákról szóló korai...
Bantu Applicative Constructions
Ez a könyv az „applikatív” definícióinak különböző hiányosságaival foglalkozik, összehasonlítva azzal, ami a nyelvekben...
Selected Papers on Computer Languages: kötet 139. kötet - Selected Papers on Computer Languages:...
Ez a kötet, amely a világhírű informatikus, Donald...
A nyelvi sokszínűség: Perspektívák és következmények 176. kötet - Diversity in Language:...
Mit árul el a nyelvi sokszínűség az emberi...
Nyelv, bizonyítás és logika: Második kiadás Szoftverrel - Language, Proof, and Logic: Second Edition...
A Nyelvi bizonyítás és logika fizikai könyvként...
![Nyelv, bizonyítás és logika: Második kiadás [Szoftverrel] - Language, Proof, and Logic: Second Edition [With Software]](/_/1/993/1993581-1828.webp)
Geometria és jelentés: Volume 172 - Geometry and Meaning: Volume 172
Püthagorasz harmonikus sorozatától Einstein relativitáselméletéig a...
