Historial de «Semántica formal»

18 oct 2022

• actant 02:0402:04 18 oct 2022‎ Dadaniel1993 discusión contribs.‎ m 4264 bytes +2439‎ Breve traducción de la página en inglés y del libro de Winskel. deshacer Etiqueta: Edición visual

10 jul 2019

• actant 17:5017:50 10 jul 2019‎ Aosbot discusión contribs.‎ m 1825 bytes +27‎ Mantenimiento de Control de autoridades deshacer

9 mar 2018

• actant 18:2018:20 9 mar 2018‎ Mctpyt discusión contribs.‎ m 1798 bytes +1‎ →‎Semántica denotacional: agrego tilde deshacer

10 may 2017

• actant 02:2102:21 10 may 2017‎ Semibot discusión contribs.‎ m 1797 bytes +4‎ Bot: Añadir enlaces internos: Cambridge University Press deshacer

14 jun 2015

• actant 00:1200:12 14 jun 2015‎ 201.140.226.29 discusión‎ 1793 bytes −1‎ →‎Semántica denotacional deshacer

11 mar 2013

• actant 07:4107:41 11 mar 2013‎ KLBot2 discusión contribs.‎ m 1794 bytes −247‎ Bot: Moviendo 8 enlaces interlingüísticos a d:Q963731 en Wikidata deshacer

4 ene 2013

• actant 17:5117:51 4 ene 2013‎ Davius discusión contribs.‎ 2041 bytes −1‎ Sin resumen de edición deshacer

5 abr 2011

• actant 07:5607:56 5 abr 2011‎ RedBot discusión contribs.‎ m 2042 bytes +8‎ r2.5.2) (robot Modificado: en:Formal semantics (logic) deshacer

11 sep 2010

• actant 07:5207:52 11 sep 2010‎ Taichi discusión contribs.‎ m 2034 bytes 0‎ Semántica denotacional ha sido trasladado a Semántica formal sobre una redirección. deshacer
• actant 07:5207:52 11 sep 2010‎ Taichi discusión contribs.‎ m 2034 bytes 0‎ Semántica formal ha sido trasladado a Semántica denotacional deshacer

5 sep 2010

• actant 17:1217:12 5 sep 2010‎ Sophivorus discusión contribs.‎ 2034 bytes +298‎ Traigo texto (modificado) desde Semántica denotacional. Preparando fusión. deshacer

29 ago 2010

• actant 22:5622:56 29 ago 2010‎ Luckas-bot discusión contribs.‎ m 1736 bytes +1104‎ robot Añadido: el:Τυπική σημασιολογία deshacer

31 jul 2010

• actant 12:5812:58 31 jul 2010‎ Luckas-bot discusión contribs.‎ m 632 bytes +49‎ robot Añadido: el:Δηλωτική σημασιολογία deshacer

12 may 2010

• actant 16:4216:42 12 may 2010‎ Hprmedina discusión contribs.‎ m 583 bytes −1108‎ fusionar: Semántica formal usando monobook-suite deshacer

7 feb 2010

• actant 15:1615:16 7 feb 2010‎ D'ohBot discusión contribs.‎ m 1691 bytes +1163‎ robot Añadido: ca:Semàntica formal deshacer

9 nov 2009

• actant 05:5105:51 9 nov 2009‎ Xqbot discusión contribs.‎ m 528 bytes −34‎ robot Eliminado: simple:Denotational semantics deshacer

8 nov 2009

• actant 16:3616:36 8 nov 2009‎ TXiKiBoT discusión contribs.‎ m 562 bytes −1104‎ robot Añadido: it:Semantica denotazionale deshacer

23 oct 2009

• actant 16:2316:23 23 oct 2009‎ MONIMINO discusión contribs.‎ m 1666 bytes +1‎ Correcciones ortográficas deshacer

19 oct 2009

• actant 17:3817:38 19 oct 2009‎ LucienBOT discusión contribs.‎ m 1665 bytes +146‎ robot Añadido: hu, ja, nl, ru, zh; cambios triviales deshacer
• actant 17:2917:29 19 oct 2009‎ Sophivorus discusión contribs.‎ 1519 bytes +988‎ Página creada con «La '''semántica formal''' es el estudio de las interpretaciones de los lenguajes formales.<ref name=Cambridge>{{cita enciclo...» deshacer

6 oct 2009

• actant 22:0222:02 6 oct 2009‎ Oscar . discusión contribs.‎ m 531 bytes −39‎ Revertidos los cambios de Locovich (disc.) a la última edición de BodhisattvaBot deshacer

2 sep 2009

• actant 18:4918:49 2 sep 2009‎ Locovich discusión contribs.‎ m 570 bytes +39‎ Añadida la plantilla {{{{subst:CURRENTDAY}}|{{subst:CURRENTMONTHNAME}}|Artículo infraesbozo|{{subst:CURRENTDAY}}|{{subst:CURRENTMONTHNAME}}}} al artículo. Usando (TW) deshacer

24 abr 2009

• actant 10:3610:36 24 abr 2009‎ BodhisattvaBot discusión contribs.‎ m 531 bytes +1‎ robot Modificado: de:Denotationelle Semantik deshacer

22 mar 2009

• actant 04:3204:32 22 mar 2009‎ ChenzwBot discusión contribs.‎ m 530 bytes +33‎ robot Añadido: simple:Denotational semantics deshacer

13 dic 2008

• actant 16:4216:42 13 dic 2008‎ Muro Bot discusión contribs.‎ m 497 bytes −25‎ Bot: Quitando plantilla ''esbozo'', según esta CDB deshacer

13 oct 2007

• actant 17:5117:51 13 oct 2007‎ PaintBot discusión contribs.‎ m 522 bytes −3‎ Sin resumen de edición deshacer

30 may 2007

• actant 23:5223:52 30 may 2007‎ Thijs!bot discusión contribs.‎ m 525 bytes +20‎ robot Añadido: zh:指称语义 deshacer

30 ene 2007

• actant 23:1923:19 30 ene 2007‎ Thijs!bot discusión contribs.‎ m 505 bytes +30‎ robot Añadido: hr:Denotacijska semantika deshacer

22 dic 2006

• actant 19:4619:46 22 dic 2006‎ Yrbot discusión contribs.‎ m 475 bytes +26‎ robot Añadido: ja:表示的意味論 deshacer

3 sep 2006

• actant 03:3203:32 3 sep 2006‎ RobotQuistnix discusión contribs.‎ m 449 bytes +128‎ robot Añadido: de, en, fr, pt deshacer

12 nov 2005

• actant 08:2208:22 12 nov 2005‎ GermanX discusión contribs.‎ m 321 bytes +1‎ +esbozo deshacer

6 mar 2005

• actant 01:1601:16 6 mar 2005‎ Ascánder discusión contribs.‎ m 320 bytes +39‎ esbozo de|informática deshacer

14 jul 2004

• actant 21:2921:29 14 jul 2004‎ Ascánder discusión contribs.‎ m 281 bytes +12‎ esbozo deshacer
• actant 20:2720:27 14 jul 2004‎ 84.120.115.8 discusión‎ 269 bytes +269‎ Sin resumen de edición