You are here: irt.org | FOLDOC | AXIOM*
<mathematics, tool> A symbolic mathematics system.
A# is one component of AXIOM*.
Version: 2.
[Relationship with AXIOM?]
(1995-02-21)
Nearby terms: aXe « AXIOM « axiom « AXIOM* » Axiomatic Architecture Description Language » axiomatic semantics » axiomatic set theory
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL