籌款 9月15日 2024 – 10月1日 2024
關於籌款
書籍搜索
圖書
籌款:
66.8% 已募集
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Систематическое конструирование однокомбинаторного базиса для λ-термов
Фоккер Е.
𝐊
𝐒
𝐗
выражение
комбинатора
𝐗𝐗
определение
𝜆
базис
комбинаторов
𝐈
𝐊𝐊
𝐴
𝑃
выражения
программирования
практика
решения
функционального
набор
𝐵
базисы
комбинатор
правило
термов
𝜆𝑥.𝐴
базиса
базисом
комбинаторы
однокомбинаторный
статье
𝐗𝐗𝐗
𝑄
𝑥
𝛽
абстракции
дважды
доказательство
литературы
помощи
применений
простота
размер
редукция
россера
теореме
терм
термы
шагов
𝑅
語言:
russian
文件:
PDF, 122 KB
你的標籤:
0
/
0
russian
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×