SPASS

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. The theorem proving system is released under the FreeBSD license.

单词	SPASS
释义	SPASS 英语百科 SPASS 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. The theorem proving system is released under the FreeBSD license.
随便看	clay tower clay toy clay treated claytreated clay treating clay treating process clay treatment clay treatment, clay treating clay triangle Claytronics clay up clay utensil for steaming food clay vein clay vessel Clay Village Clayville clay wall clay ware clayware clay warp clay warrior clay warrior in armour clay warrior in battle robe clay warrior,leading a horse claywash