Choose an application

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

Predicate calculus --- Tense (Logic) --- Calcul des prédicats --- Temps (Logique) --- Logic, Tense --- Calculus, Predicate --- Quantification theory --- Predicate calculus. --- Tense (Logic). --- Calcul des prédicats --- Grammar, Comparative and general --- Languages --- -Pragmatics --- Semantics --- 801.56 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Pragmalinguistics --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Foreign languages --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Philosophy --- Grammar, Comparative --- Logic --- Time --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Logic, Symbolic and mathematical --- General semantics --- Semantics (Philosophy) --- Linguistics --- Philology --- Anthropology --- Communication --- Ethnology --- Tense --- Lexicology. Semantics --- Pragmatics --- Grammar, Comparative and general. --- Pragmatics. --- Langage et langues --- Sémantique --- Pragmatique --- Grammaire comparée et générale --- Philosophie

Choose an application

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

Lexicology. Semantics --- Mathematical linguistics --- Operational research. Game theory --- Semantics --- Game theory --- Predicate calculus --- Sémantique --- Théorie des jeux --- Calcul des prédicats --- Mathematical models --- Modèles mathématiques --- Game-theoretical semantics --- 801.56 --- Semantics (Philosophy) --- Syntaxis. Semantiek --- Game-theoretical semantics. --- 801.56 Syntaxis. Semantiek --- Sémantique --- Théorie des jeux --- Calcul des prédicats --- Modèles mathématiques --- Philosophie du langage --- Anglais (langue) --- Anaphore

Choose an application

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

Computer science --- Mathematical logic --- Logic, symbolic and mathematical --- Automatic theorem proving --- Artificial intelligence --- Logic, Symbolic and mathematical --- 681.3*I23 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Informatique --- Théorèmes --- Démonstration automatique --- Logique mathématique --- Mathematical Logic --- Theorem Proving --- Predicate Calculus --- Resolution --- Logique mathématique --- Théorèmes --- Démonstration automatique