来自专业的译者、企业、网页和免费的翻译库。
par nome-valor
name-value pair
最后更新: 2006-09-06
使用频率: 1
质量:
mapa nome- valor:% 1
name-value map: %1
最后更新: 2011-10-23
使用频率: 2
质量:
pares nome/ valor passados ao servidor de http
name/ value pairs passed to http server
最后更新: 2011-10-23
使用频率: 1
质量:
os valores-verdade para fórmulas quantificadas são dadas exclusivamente em termos de verdade sem apelar para domínios de qualquer natureza (e por isso seu nome "valor-verdade semântico").
the truth conditions for quantified formulas are given purely in terms of truth with no appeal to domains whatsoever (and hence its name "truth-value semantics").