Quantifier (linguistics)

相关论文数: 1

顶级研究者

Franz Winkler

研究机构: —

顶尖机构

Johannes Kepler University of LinzAT1 篇论文

最高引用论文

Quantifier elimination in real closed fields

Franz Winkler

引用数: 2 • 1996

相关技术

Artificial intelligenceComputer scienceMachine learningMathematicsRobotApplied mathematicsMathematical analysisRoboticsDiscrete mathematicsStability (learning theory)