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.