Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 14:14 12 feb 2020 (dif | hist) . . (+2100) . . N Completación de redes metabólicas (código e instancia) (Página creada con «<source lang = "prolog"> %% LÓGICA COMPUTACIONAL Y TEORÍA DE MODELOS %% TRABAJO REDES METABÓLICAS %% Jesús Camacho Moro %% Mª Estefanía Espinar García %% Problem…») (edición actual)
- 14:14 12 feb 2020 (dif | hist) . . (+12) . . Aplicaciones y casos de estudio (19-20) (edición actual)
- 14:13 12 feb 2020 (dif | hist) . . (+10) . . Aplicaciones y casos de estudio (19-20)
- 14:12 12 feb 2020 (dif | hist) . . (+514) . . N Instancia (Página creada con «<source lang = "prolog"> % Ejemplo del texto vertice(1..8). arco(1,2). arco(2,3). arco(3,8). arco(4,1). arco(4,2). arco(5,2). arco(5,3). arco(5,7). arco(6,4). arco(6,5).…») (edición actual)
- 14:11 12 feb 2020 (dif | hist) . . (+3238) . . N Reparación de redes metabólicas (código) (Página creada con «<source lang = "prolog"> % Red Regulatoria Genética % Tenemos una serie de genes y sus interacciones representado por un grafo de influencia G=(N,E,s) dónde los vértices…») (edición actual)
- 14:11 12 feb 2020 (dif | hist) . . (+178) . . Aplicaciones y casos de estudio (19-20)
- 22:26 9 feb 2020 (dif | hist) . . (+2112) . . N Nuricabe (Alina Kasiuk y Xinyi Wu) (Página creada con «<source lang = "prolog"> % according to the known conditions numbered(1,1,1). numbered(1,5,1). numbered(1,7,6). numbered(2,3,2). numbered(3,2,1). numbered(3,5,2). numbered(…») (edición actual)
- 22:25 9 feb 2020 (dif | hist) . . (+3392) . . N Heyawake (Alina Kasiuk y Xinyi Wu) (Página creada con «<source lang = "prolog"> #const n = 10. #const m = 10. #const r = 18. % File: heyawake.lp col(1..m). row(1..n). num(0..r-1). segment(h;v). room_size(N,X1,Y1,X2,Y2) :- room…») (edición actual)
- 22:24 9 feb 2020 (dif | hist) . . (+29) . . Aplicaciones y casos de estudio (19-20)
- 22:24 9 feb 2020 (dif | hist) . . (+2676) . . N Masyu (Jan Wasilewski) (Página creada con «<source lang = "prolog"> %white(1,3). %white(2,3). %white(4,1). %white(5,3). %black(4,2). white(1,3). black(1,6). black(3,1). black(3,4). white(3,5). black(3,8). white(3,1…») (edición actual)
- 22:22 9 feb 2020 (dif | hist) . . (+167) . . Aplicaciones y casos de estudio (19-20)
- 22:20 9 feb 2020 (dif | hist) . . (+8) . . Aplicaciones y casos de estudio (19-20)
- 22:18 9 feb 2020 (dif | hist) . . (0) . . Aplicaciones y casos de estudio (19-20)
- 22:17 9 feb 2020 (dif | hist) . . (+69) . . Grid puzzles (edición actual)
- 22:15 9 feb 2020 (dif | hist) . . (+165) . . N Grid puzzles (Página creada con «En estas aplicaciones se estudian tres ejemplos de cómo usar ASP para resolver rompecabezas de cuadrícula (grid puzzles) * Masyu * Nuricabe * Heyawake»)
- 22:13 9 feb 2020 (dif | hist) . . (+250) . . Aplicaciones y casos de estudio (19-20)
- 10:02 3 feb 2020 (dif | hist) . . (+95) . . Aplicaciones y casos de estudio (19-20)
- 09:57 3 feb 2020 (dif | hist) . . (-3100) . . Ejemplo 1 (edición actual)
- 09:57 3 feb 2020 (dif | hist) . . (-210) . . Ejemplo 2 (edición actual)
- 09:56 3 feb 2020 (dif | hist) . . (+3063) . . Ejemplo 1
- 09:55 3 feb 2020 (dif | hist) . . (+31) . . Aplicaciones y casos de estudio (19-20)
- 10:59 20 ene 2020 (dif | hist) . . (+2785) . . N Ejercicio P2 (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquete…») (edición actual)
- 10:59 20 ene 2020 (dif | hist) . . (0) . . m Planificación: transporte (Protegió «Planificación: transporte» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 10:59 20 ene 2020 (dif | hist) . . (+2786) . . N Planificación: transporte (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquete…»)
- 10:58 20 ene 2020 (dif | hist) . . (-20) . . Ejercicios (19-20) (edición actual)
- 10:57 20 ene 2020 (dif | hist) . . (+20) . . Ejercicios (19-20)
- 10:53 20 ene 2020 (dif | hist) . . (+1985) . . N Ejercicio P1 (Página creada con «<source lang = "prolog"> %% Ejercicio de planificación: los siguientes predicados describen un %% "mundo" que representa la acciones de una persona que compra %% aliment…»)
- 10:49 20 ene 2020 (dif | hist) . . (0) . . m Planificación: compra (Protegió «Planificación: compra» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 10:49 20 ene 2020 (dif | hist) . . (+1985) . . N Planificación: compra (Página creada con «<source lang ="prolog"> %% Ejercicio de planificación: los siguientes predicados describen un %% "mundo" que representa la acciones de una persona que compra %% alimento…»)
- 10:48 20 ene 2020 (dif | hist) . . (+214) . . Ejercicios (19-20)
- 10:45 20 ene 2020 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20) (edición actual)
- 10:44 20 ene 2020 (dif | hist) . . (+43) . . Lógica computacional y teoría de modelos (2019-20)
- 13:37 7 ene 2020 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20)
- 13:36 7 ene 2020 (dif | hist) . . (+45) . . Lógica computacional y teoría de modelos (2019-20)
- 13:35 7 ene 2020 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 13:35 7 ene 2020 (dif | hist) . . (+51) . . Lógica computacional y teoría de modelos (2019-20)
- 14:41 4 ene 2020 (dif | hist) . . (-92) . . Lógica computacional y teoría de modelos (2019-20)
- 14:38 4 ene 2020 (dif | hist) . . (+92) . . Lógica computacional y teoría de modelos (2019-20)
- 12:12 18 dic 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 12:11 18 dic 2019 (dif | hist) . . (+1) . . Ejercicios evaluables 3 (edición actual)
- 12:10 18 dic 2019 (dif | hist) . . (+69) . . Ejercicios evaluables (19-20) (edición actual)
- 12:10 18 dic 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:23 10 dic 2019 (dif | hist) . . (-53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:22 10 dic 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:22 10 dic 2019 (dif | hist) . . (+1) . . Ejercicios evaluables 2 (edición actual)
- 12:20 10 dic 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 12:20 10 dic 2019 (dif | hist) . . (+69) . . Ejercicios evaluables (19-20)
- 12:19 10 dic 2019 (dif | hist) . . (+51) . . Lógica computacional y teoría de modelos (2019-20)
- 10:55 18 nov 2019 (dif | hist) . . (0) . . Ejercicios evaluables 1 (edición actual)
- 20:43 17 nov 2019 (dif | hist) . . (+2) . . Ejercicios evaluables 1
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).