中英互译
spass
基本释义
- n.快乐（德语）
网络短语
- Zeitverschwenden macht Spass养只可爱雪兔
- viel spass祝你玩得开心
- Richard Spass标签
- jm Spass machen使某人快乐
- Oktoberfest-Spass Ohne Grenzen德国啤酒节
同义词
n.
英英释义
- SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition calculus. The name originally stood for Synergetic Prover Augmenting Superposition with Sorts.