Choose an application

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

AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Automatic theorem proving --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Theorema's--Automatische bewijsvoering --- Thinking [Artificial ] --- Théorèmes--Démonstration automatique --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Automatic theorem proving. --- Artificial intelligence. --- Unification --- Resolution --- Graph --- Prolog (langage de programmation) --- Induction --- Gentzen Calculus --- Logic