Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  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 


axiom

<logic> A well-formed formula which is taken to be true without proof in the construction of a theory.

Compare: lemma.

(1995-03-31)

AXIOM

<language> A commercially available subset of Scratchpad, from IBM.

["Axiom - The Scientific Computing System", R. Jenks et al, Springer 1992].

(1995-02-21)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017