Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Calcul propositionnel --- Prise de décision --- Algorithmes --- Algèbre de Boole --- Congresses. --- Congrès --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Boolean algebra --- Boole's algebra --- Calculus, Propositional --- Computer science. --- Operating systems (Computers). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Operating Systems. --- Numeric Computing. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Foundations --- Operating systems --- Algebraic logic --- Logic, Symbolic and mathematical --- Computer software. --- Electronic data processing. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Automation --- Satisfiability testing --- Propositional calculus - Congresses. --- Decision making - Congresses. --- Computer algorithms - Congresses. --- Algebra, Boolean - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Numerical Analysis. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics