Wörterbuch
Beispielsätze
zh-CN
en
hide
Deutsch
形式记数法
形式设备
形式设计描述
形式设计说明
形式证明
形式证法
形式语义
形式语义定义
形式语义描述
形式语义模型
形式语义语言
Referenzen
谷歌
谷歌图片
百度
百度图片
百度百科
维基百科
维基词典
EN↔CN 海词
DE↔CN LEO
DE↔CN Langenscheidt
DE↔CN PONS
形式证法
➞
形式证法
[计] formal proof
形式证法
xíng shì zhèng fǎ
ㄒㄧㄥˊ ㄕˋ ㄓㄥˋ ㄈㄚˇ
🔪 双立人，中国菜刀：32 €
🔪 双立人，中国菜刀：68 €
😜 Amazon 打折商品，你不看一眼吗？
🎵 Amazon Music Unlimited 学生免费听半年
🎧 无限有声书，尽在 Audible，听30天试试？
🎥 Insta360 One R 多镜头运动相机，德国包邮
zh-CN
简体中文
de
Deutsch
en
English
形式证法