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.
随便看	wholesomer的意思 wholesomest的意思 wholesome water的意思 whole souled的意思 wholesouled的意思 whole spice的意思 wholest的意思 whole stalk cane harvester的意思 Whole step的意思 whole steps的意思 whole stillage的意思 whole stone的意思 wholes to part relation的意思 whole story的意思 whole strategy的意思 whole structure的意思 whole sustained release的意思 whole synthesis的意思 wholetail的意思 wholetails的意思 whole tail suncured ginseng的意思 whole task trainers的意思 whole team的意思 whole team approach的意思 whole term insurance的意思