Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Knowledge representation (Information theory) --- Artificial intelligence. --- Computational linguistics. --- Semantics. --- Représentation des connaissances --- Intelligence artificielle --- Linguistique informatique --- Sémantique --- Artificial intelligence --- Computational linguistics --- Semantics --- 681.3*F11 --- 681.3*F32 --- 681.3*I24 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Representation of knowledge (Information theory) --- Automatic language processing --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- 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 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Data processing --- 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) --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Représentation des connaissances --- Sémantique --- Knowledge Representation --- Knowledge --- Semantic Network
Choose an application
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
Listing 1 - 2 of 2 |
Sort by
|