VDict - Definition of Axiom of Choice

search result for Axiom of Choice in Computing (FOLDOC) dictionary

Zermelo Frankel set theory Axiom of Choice Axiom of Comprehension ZFC Banach-Tarski paradox AXIOM Zermelo set theory infinite set infinite intelligent backtracking Russell's Attic AXIOM*Russell's Paradox aleph 0 axiomatic set theory Cantor pull-down list logic programming languages of choice axiom foundation Scratchpad II proof complete metric space redundancy bug-compatible SPARC Xterminal 1 Extended Self-containing Prolog Andorra-Prolog Dijkstra's guarded command language Guarded Horn Clauses REGTRAL Disk Operating System Charme Prisoner of Bill bondage-and-discipline language depth-first search Concurrent Prolog Procomm symbolic mathematics high-level language A#literal Calc tool bar Virtual Machine Zip Drive direct mapped cache for values of Parlog menu Visual Component Library delete macro signature bitmap display Great Runes grammar coefficient of X frequency division multiplexing Common Gateway Interface software patent hexadecimal Lisp PostScript Zilog Z80 Perl modem regular expression brute force electron tube Yale Haskell Lorem ipsum The story of Mel, a Real Programmer