AXIOM*

<mathematics, tool> A symbolic mathematics system.

A# is one component of AXIOM*.

Version: 2.



Nearby terms:
aXe « AXIOM « axiom « AXIOM* » Axiomatic Architecture Description Language » axiomatic semantics » axiomatic set theory