"Teoretisk datalogi." . . "sémantique formelle." . . "Langages de programmation Sémantique." . . "Programmiersprache Semantik (Informatik)" . . "Programmering." . . "Semantik." . . "Logisk semantik." . . "sémantique langage programmation." . . "Programmation (Informatique)" . . "Lenguajes de programación (Ordenadores) semántica." . . "Formale Semantik." . . . . . "Action semantics" . "Action semantics"@en . "Action semantics"@it . . . . . . . . . "Electronic books"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Action Semantics" . . "Szemantika logikai." . . "sémantique action." . . "Llenguatges de programació Semàntica." . . "Semantik (Informatik) Programmiersprache." . . "Programmiersprache." . . . . "Theoretische informatica." . .