Resultados de la búsqueda
Crear la página «Jalonso» en este wiki. Véanse también los resultados de la búsqueda.
- # {{jalonso}}, {{jborrego}}: <br> '''Agentes inteligentes: una aproximación desde la l # {{jalonso}}, {{jborrego}}: <br> {{j|2002-ded-automatica-1.pdf|Deducción automática38 KB (5040 palabras) - 20:02 12 feb 2011
- * '''Ponente:''' {{jalonso}}45 KB (6931 palabras) - 23:46 1 abr 2017
- * '''Ponente:''' {{jalonso}} * '''Ponente:''' {{jalonso}}4 KB (650 palabras) - 12:22 8 oct 2008
- [[User:Jalonso|José A. Alonso]] 10:38, 12 November 2008 (CET)1 KB (208 palabras) - 11:38 12 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:35, 12 November 2008 (CET)1 KB (228 palabras) - 11:35 12 nov 2008
- …APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonami # {{jalonso}}, {{garanda}} y {{fmartin}} (2007) <br> ''[http://www.springerlink.com/con7 KB (1186 palabras) - 18:17 30 nov 2011
- Gran parte de este material se encuentra en la [http://www.cs.us.es/~jalonso/cursos/ página cursos impartidos por J.A. Alonso]. * J.A. Alonso (2006) <br> ''[http://www.cs.us.es/~jalonso/publicaciones/2006-sudoku-ASP.pdf Solución declarativa del Sudoku mediante3 KB (403 palabras) - 12:32 19 nov 2008
- : {{fmartin}}, {{jalonso}}, {{mjoseh}}, {{jruiz}}: ''Formal Verification of a Generic Framework to S [[User:Jalonso|José A. Alonso]] 11:33, 19 November 2008 (CET)1017 bytes (150 palabras) - 12:33 19 nov 2008
- [[User:Jalonso|José A. Alonso]] 11:34, 19 November 2008 (CET)428 bytes (62 palabras) - 12:34 19 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:39, 12 November 2008 (CET)1 KB (157 palabras) - 11:39 12 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:37, 12 November 2008 (CET)874 bytes (138 palabras) - 11:37 12 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:38, 12 November 2008 (CET)828 bytes (127 palabras) - 11:38 12 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:39, 12 November 2008 (CET)653 bytes (102 palabras) - 20:32 11 nov 2009
- [[User:Jalonso|José A. Alonso]] 8:30, 13 Noviembre 2008905 bytes (149 palabras) - 11:12 13 nov 2008
- [[User:Jalonso|José A. Alonso]] 08:14, 19 November 2008 (CET)2 KB (276 palabras) - 16:19 19 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:47, 19 November 2008 (CET)5 KB (793 palabras) - 20:52 8 dic 2008
- [[User:Jalonso|José A. Alonso]] 11:33, 19 November 2008 (CET)600 bytes (85 palabras) - 12:59 19 nov 2008
- [[User:Jalonso|José A. Alonso]] 10:20, 4 December 2008 (CET)1 KB (228 palabras) - 11:20 4 dic 2008
- [[User:Jalonso|José A. Alonso]] 12:28, 8 December 2008 (CET)4 KB (729 palabras) - 10:45 16 dic 2008
- [[User:Jalonso|José A. Alonso]] 11 Diciembre 20082 KB (268 palabras) - 10:58 11 dic 2008
- [[User:Jalonso|José A. Alonso]] 11 Diciembre 20083 KB (434 palabras) - 11:28 11 dic 2008
- ….cs.us.es/~jalonso/cursos/li Lógica informática] y [http://www.cs.us.es/~jalonso/cursos/d-ra Razonamiento automático]- [[User:Jalonso|José A. Alonso]] 10:54, 16 December 2008 (CET)4 KB (716 palabras) - 12:05 16 dic 2008
- …s la primera formalización de DPLL, en el artículo [http://www.cs.us.es/~jalonso/publicaciones/2004-JAR.pdf Formal Verification of a Generic Framework to Sy [[User:Jalonso|José A. Alonso]] 20:34, 10 April 2009 (CEST)3 KB (526 palabras) - 20:34 10 abr 2009
- | {{jalonso}} and {{mjoseh}}.1 KB (166 palabras) - 13:14 4 oct 2011
- * '''Autores:''' {{jalonso}}, {{mjoseh}} y {{fjesus}}.645 bytes (87 palabras) - 19:02 1 jun 2010
- | {{jalonso}}, {{mjoseh}} and {{fmartin}}.1 KB (207 palabras) - 14:19 8 feb 2012
- * '''Autores:''' {{jalonso}} y {{mjoseh}}.998 bytes (148 palabras) - 19:38 1 jun 2010
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la2 KB (232 palabras) - 13:15 4 oct 2011
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} y {{jruiz}}. * [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la2 KB (233 palabras) - 13:16 4 oct 2011
- | {{jalonso}} and {{mjoseh}}. | [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la718 bytes (112 palabras) - 11:34 2 jun 2010
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~jalonso/publicaciones/2007-TPHOLs.pdf A formally verified prover for the ALC descri2 KB (319 palabras) - 12:21 7 jun 2012
- | {{jalonso}} and {{mjoseh}}. | [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la1002 bytes (153 palabras) - 13:16 4 oct 2011
- | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. * [http://www.cs.us.es/~jalonso/publicaciones/2007-TPHOLs.pdf A formally verified prover for the ALC descri2 KB (299 palabras) - 18:49 30 sep 2011
- Para: "jalonso@us.es" <jalonso@us.es>2 KB (315 palabras) - 13:25 27 oct 2011
- * '''Ponente:''' {{jalonso}} (Grupo de Lógica Computacional - Universidad de Huelva). …a nueva fase del Seminario y sus precedentes usando [https://www.cs.us.es/~jalonso/apuntes/Confieso_que_he_leido/Confieso_que_he_leido.html este resumen].1 KB (220 palabras) - 17:24 3 may 2021