Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Artificial intelligence. Robotics. Simulation. Graphics --- Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Algorithmus. --- Anwendung. --- Berechnungskomplexitat. --- Erfullbarkeitsproblem. --- 681.3*F --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory --- Calculus, Propositional --- Logic, Symbolic and mathematical --- Theory of computation --- 681.3*F Theory of computation --- Algorithmus --- Anwendung --- Berechnungskomplexitat --- Erfullbarkeitsproblem --- Propositional calculus - Congresses --- Decision making - Congresses --- Computer algorithms - Congresses --- Algebra, Boolean - Congresses