Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
2 definitions found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
AXIOM
A commercially available subset of the
Scratchpad, symbolic mathematics system from IBM.
["Axiom - The Scientific Computing System", R. Jenks et al,
Springer 1992].
[Relationship with AXIOM*?]
(1995-02-21)
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
axiom
A well-formed formula which is taken to be true
without proof in the construction of a theory.
Compare: lemma.
(1995-03-31)