Resultados de la búsqueda

Crear la página «Jalonso» en este wiki. Véanse también los resultados de la búsqueda.

Resultados por título de página

• Plantilla:Jalonso
  [http://www.cs.us.es/~jalonso José A. Alonso]
  46 bytes (9 palabras) - 07:38 25 abr 2008
• Usuario:Jalonso
  [http://www.cs.us.es/~jalonso José A. Alonso]
  46 bytes (9 palabras) - 11:36 12 nov 2008

Resultados por texto de página

• Publications
  # {{jalonso}}, {{jborrego}}: <br> '''Agentes inteligentes: una aproximación desde la l # {{jalonso}}, {{jborrego}}: <br> {{j|2002-ded-automatica-1.pdf|Deducción automática
  38 KB (5040 palabras) - 20:02 12 feb 2011
• Seminario del Grupo de Lógica Computacional
  * '''Ponente:''' {{jalonso}}
  45 KB (6931 palabras) - 23:46 1 abr 2017
• Seminarios anteriores
  * '''Ponente:''' {{jalonso}} * '''Ponente:''' {{jalonso}}
  4 KB (650 palabras) - 12:22 8 oct 2008
• A short survey of automated reasoning
  [[User:Jalonso|José A. Alonso]] 10:38, 12 November 2008 (CET)
  1 KB (208 palabras) - 11:38 12 nov 2008
• Constraint Logic Programming using Eclipse
  [[User:Jalonso|José A. Alonso]] 10:35, 12 November 2008 (CET)
  1 KB (228 palabras) - 11:35 12 nov 2008
• APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
  …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/con
  7 KB (1186 palabras) - 18:17 30 nov 2011
• Solución declarativa de problemas
  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 mediante
  3 KB (403 palabras) - 12:32 19 nov 2008
• Verificación de sistemas SAT
  : {{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
• Verificación de traductores de problemas combinatorios en SAT
  [[User:Jalonso|José A. Alonso]] 11:34, 19 November 2008 (CET)
  428 bytes (62 palabras) - 12:34 19 nov 2008
• Mathematics and computer science: The interplay
  [[User:Jalonso|José A. Alonso]] 10:39, 12 November 2008 (CET)
  1 KB (157 palabras) - 11:39 12 nov 2008
• Solving challenging grid puzzles with answer set programming
  [[User:Jalonso|José A. Alonso]] 10:37, 12 November 2008 (CET)
  874 bytes (138 palabras) - 11:37 12 nov 2008
• Semantic Wikipedia
  [[User:Jalonso|José A. Alonso]] 10:38, 12 November 2008 (CET)
  828 bytes (127 palabras) - 11:38 12 nov 2008
• Formalizing Desargues' theorem in Coq using ranks
  [[User:Jalonso|José A. Alonso]] 10:39, 12 November 2008 (CET)
  653 bytes (102 palabras) - 20:32 11 nov 2009
• Deduction using the ProofWeb system
  [[User:Jalonso|José A. Alonso]] 8:30, 13 Noviembre 2008
  905 bytes (149 palabras) - 11:12 13 nov 2008
• How to (really) trust a mathematical proof
  [[User:Jalonso|José A. Alonso]] 08:14, 19 November 2008 (CET)
  2 KB (276 palabras) - 16:19 19 nov 2008
• Razonamiento formalizado
  [[User:Jalonso|José A. Alonso]] 10:47, 19 November 2008 (CET)
  5 KB (793 palabras) - 20:52 8 dic 2008
• Programas sencillos para problemas complejos
  [[User:Jalonso|José A. Alonso]] 11:33, 19 November 2008 (CET)
  600 bytes (85 palabras) - 12:59 19 nov 2008
• Plantilla:J
  '''[http://www.cs.us.es/~jalonso/publicaciones/{{{1}}} {{{2}}}]'''
  66 bytes (9 palabras) - 23:06 24 nov 2008
• Formalizing basic first order model theory
  [[User:Jalonso|José A. Alonso]] 10:20, 4 December 2008 (CET)
  1 KB (228 palabras) - 11:20 4 dic 2008
• Logic for Computer Science
  [[User:Jalonso|José A. Alonso]] 12:28, 8 December 2008 (CET)
  4 KB (729 palabras) - 10:45 16 dic 2008

Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).