Choose an application

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

Automatic theorem proving --- Théorèmes --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Nonclassical mathematical logic --- Logic, Symbolic and mathematical --- Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Computer science. --- Computer programming. --- Software engineering. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Software Engineering. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Automatic theorem proving. --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory

Choose an application

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

Influenza --- Public health --- Grippe --- Santé publique --- Research --- Recherche --- Influenza, Human. --- Research. --- Laboratory Research --- Research Activities --- Research and Development --- Research Priorities --- Activities, Research --- Activity, Research --- Development and Research --- Priorities, Research --- Priority, Research --- Research Activity --- Research Priority --- Research, Laboratory --- Ethics, Research --- Human Flu --- Human Influenza --- Influenza in Humans --- Flu, Human --- Human Influenzas --- Influenza in Human --- Influenzas --- Influenzas, Human --- Influenza Pandemic, 1918-1919 --- Santé publique --- Influenza, Human --- Community health --- Health services --- Hygiene, Public --- Hygiene, Social --- Public health services --- Public hygiene --- Sanitary affairs --- Social hygiene --- Health --- Human services --- Biosecurity --- Health literacy --- Medicine, Preventive --- National health services --- Sanitation --- Flu --- Flu, Respiratory --- Respiratory flu --- Respiratory infections --- Virus diseases --- Fifth Framework Programme (European Commission) --- Sixth Framework Programme (European Commission) --- European Commission. --- EU's Framework Programme for Research and Technological Development --- European Community Framework Programme for Research, Technological Development, and Demonstration --- FP6 --- Sixth FP (European Commission) --- 6. RP --- Sechstes Rahmensprogramm (European Commission) --- Sexto Programa Marco (European Commission) --- 6e programme-cadre (European Commission) --- Sixième programme-cadre (European Commission) --- Sesto programma quadro (European Commission) --- Sixth Framework Programme for Research & Technological Development --- Sixth Framework Research Programme (European Commission) --- Sjette rammeprogram for forskning (European Commission) --- Sjette rammeprogrammet (European Commission) --- Zesde kaderprogramma voor onderzoek van de EU --- Zesde kaderprogramma (European Commission) --- Kuudes tutkimuksen puiteohjelma (European Commission) --- Kuudes puiteohjelma (European Commission) --- 6o Programa-Quadro de Investigação da UE --- Sexto Programa-Quadro de Investigação da UE --- Sexto Programma Quadro (European Commission) --- Sjätte ramprogram för forskning (European Commission) --- Sjätte ramprogrammet (European Commission) --- EU Fifth Framework Programme --- RP5 --- FP5 --- Fifth Framework Programme of the European Community for Research, Technological Development, and Demonstration Activities --- Fünftes Forschungsrahmenprogramm (European Commission) --- 5. Rahmenprogramm (European Commission) --- Fünftes Forschungsrahmenprogramm der EU --- CORDIS FP5 --- Európai Unió 5. Kutatási, Technológiafejlesztési és Demonstrációs Keretprogram

Choose an application

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

Automatic theorem proving --- Théorèmes --- Congresses. --- Démonstration automatique --- Congrès --- Logic programming --- Computer Science --- Mathematical Theory --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Logic Design. --- 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 --- 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 calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Machine theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

Automatic theorem proving --- Computer programming --- Théorèmes --- Programmation (Informatique) --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Informatics --- Science --- Logic design. --- Algebra --- Artificial Intelligence. --- Data processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

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

Logic programming --- Automatic theorem proving --- Artificial intelligence --- Programmation logique --- Théorèmes --- Intelligence artificielle --- Congresses. --- Congrès --- Démonstration automatique --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- 681.3*D24 <063> --- 681.3*H2 <063> --- 681.3*F3 <063> --- 681.3*F41 <063> --- 681.3*I2 <063> --- 681.3*I23 <063> --- Computer programming --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Proof theory --- 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 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}--Congressen --- Database management: security; integrity; protection--See also {?681.5*E5}--Congressen --- Logics and meanings of programs (Theory of computation)--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Artificial intelligence. AI--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Information Technology --- Artificial Intelligence --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory