Choose an application

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

Lambda calculus. --- Rewriting systems (Computer science) --- Machine theory. --- Lambda-calcul --- Systèmes de réécriture (Informatique) --- Automates mathématiques, Théorie des --- Lambda calculus --- Machine theory --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Graph rewriting systems (Computer science) --- Term rewriting systems (Computer science) --- Calculus, Lambda --- Computer science. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- 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 --- Informatics --- Science --- Algorithms --- Recursive functions --- Robotics --- Logic design. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming.