SPASS

AcronymDefinition
SPASSSt. Petersburg Association of Scientists and Scholars (est. 1989; Russia)
References in periodicals archive ?
In addition to its first-ever use of SPASS in Milan, the JRC also implements more conventional analysis methods and instruments used by ARPA.
One system, ILF, operates a mail server that accepts proofs directly from SETHEO, SPASS, and certain other first-order logic theorem provers.
The SPASS was engineered by Space Access Technologies of Ashburn, Va.