Listing 1 - 1 of 1 |
Sort by
|
Choose an application
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
Listing 1 - 1 of 1 |
Sort by
|