Diferencia entre revisiones de «Forma normal prenexa»

26 bytes añadidos ,  hace 11 años
m
r2.7.1) (robot Añadido: en:Prenex normal form
(Página creada con «{{Traducción inconclusa|ci=en|Prenex_normal_form}} Una formula de la lógica de predicados tiene '''forma prenexa<ref>The term 'prenex' comes f...»)
 
m (r2.7.1) (robot Añadido: en:Prenex normal form)
 
[[de:Pränexform]]
[[nlen:Prenex-normaalvorm normal form]]
[[fr:Forme prénexe]]
[[it:Forma prenessa]]
[[hu:Prenex-formula]]
[[it:Forma prenessa]]
[[nl:Prenex-normaalvorm]]
[[ja:冠頭標準形]]
[[nl:Prenex-normaalvorm]]
[[pl:Forma preneksowa]]
[[pt:Forma normal prenex]]
102 888

ediciones