Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Programming --- Computer science --- Predicate calculus --- Programming languages (Electronic computers) --- Calcul des prédicats --- Langages de programmation --- Semantics --- Sémantique --- -681.3*F32 --- 681.3*I24 --- Programming language semantics --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- 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) --- Predicate calculus. --- Semantics. --- 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*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Calcul des prédicats --- Sémantique --- 681.3*F32 --- Programming languages (Electronic computers) - Semantics