Resultados de la búsqueda
Crear la página «Jalonso» en este wiki. Véanse también los resultados de la búsqueda.
- [[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
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).