Choose an application

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

Automatic theorem proving --- Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Theorema's--Automatische bewijsvoering --- Théorèmes--Démonstration automatique --- Robinson, John Alan --- Automatic theorem proving. --- Logic programming. --- Robinson, J. A. (John Alan)

Choose an application

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

Computer science --- Technological innovations --- Computer science. --- Software engineering. --- Data encryption (Computer science). --- Computers. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Data Encryption. --- Discrete Mathematics in Computer Science. --- Information Systems Applications (incl. Internet). --- Mathematics. --- 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 --- Computer mathematics --- Discrete mathematics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Computer software engineering --- Engineering --- Informatics --- Science --- Mathematics --- Programming languages (Electronic computers) --- Congresses --- Information theory. --- Computational complexity. --- Artificial Intelligence. --- Cryptology. --- Communication theory --- Communication --- Complexity, Computational --- Computer science—Mathematics. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science - Congresses --- Programming languages (Electronic computers) - Congresses --- Electronic data processing - Congresses --- Cryptography. --- Discrete mathematics. --- Software Engineering. --- Computer and Information Systems Applications. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Cryptanalysis --- Cryptology --- Secret writing --- Steganography --- Signs and symbols --- Symbolism --- Writing --- Ciphers --- Data encryption (Computer science)