Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Electronic digital computers --- -681.3*D32 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*D32 language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Programming --- Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Applications of mathematical logic --- Applications of mathematical logic. --- 167 Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Computer programming --- Logic, Symbolic and mathematical --- Problem solving --- 164 --- 519.7 --- 681.3 --- 167 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Problem Solving --- Logic, symbolic and mathematical --- Problem solving. --- Computer programming. --- Logic, Symbolic and mathematical. --- Résolution de problème --- Informatique --- Artificial intelligence. --- Computer science. --- Résolution de problème --- Résolution de problemes