募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
20.9% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]
University of Edinburgh
Alex K. Simpson
modal
intuitionistic
logics
models
theorem
finite
xry
deduction
classical
lemma
birelation
normalization
formulae
completeness
systems
figure
formula
sequent
induction
consider
geometric
interpretation
suppose
assumptions
reduction
defined
yrz
implies
introduction
meta
required
bounded
graph
decidability
elimination
obtained
depth
prefixes
variables
logical
theorems
σ1
arbitrary
define
consequences
exists
π2
consequence
frames
relative
年:
1994
语言:
english
文件:
PDF, 1.39 MB
您的标签:
0
/
0
english, 1994
2
[Article] Приемы программирования на Java - Повышение читаемости кода и функциональное программирование
Кирпичев Е.
static
function
map
filter
magicbar
customer
читаемость
java
увеличиваем
bars
birelation
integer
node
функции
import
плохо
flip
regex
abstract
apply
extends
аргументов
кода
aggregate
collectionutils
generic
get_orders
stringcondition
данных
классов
комбинаторы
пары
filters
interesting_tags.add
product
weights.put
карринг
комбинаторов
отношения
прием
функция
customer.getorders
existingbars
joinonid
merge
merged
pairsbyid
void
абстракция
анонимных
年:
2009
语言:
russian
文件:
DOC, 180 KB
您的标签:
0
/
0
russian, 2009
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×