prefetch
机器人
好奇心
中国机器人
突破
教育
职业
人才
研究
新闻与实时动态
脑洞机器人
初创
世界地图
灵感
挑战中心
合规与法规
社区
开发者
🇺🇸
EN
/
🇨🇳
中文
菜单
Quantifier (linguistics)
相关论文数:
1
顶级研究者
Franz Winkler
研究机构: —
最高引用论文
Quantifier elimination in real closed fields
Franz Winkler
引用数: 2 • 1996
相关技术
Artificial intelligence
Computer science
Machine learning
Mathematics
Robot
Applied mathematics
Mathematical analysis
Robotics
Discrete mathematics
Stability (learning theory)
需要帮助?