プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
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").