axiom*

Từ điển Máy Tính - Foldoc Dictionary

AXIOM*

(mathematics, tool)   A symbolic mathematics system.

A# is one component of AXIOM*.

Version: 2.

[Relationship with AXIOM?]

Last updated: 1995-02-21