Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Computer science --- Algebra --- Computer Science --- Engineering & Applied Sciences --- Mathematics --- Computational complexity. --- Computer science. --- Logic design. --- Data processing. --- Design, Logic --- Design of logic systems --- Informatics --- Complexity, Computational --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Discrete Mathematics in Computer Science. --- Symbolic and Algebraic Manipulation. --- Models and Principles. --- Computation by Abstract Devices. --- Mathematics. --- Science --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Models of Computation. --- Theory of Computation. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics