Diferencia entre revisiones de «Enlaces»
(→Enlaces a sistemas) |
(→Enlaces a grupos de investigación) |
||
| Línea 1: | Línea 1: | ||
== Enlaces a grupos de investigación == | == Enlaces a grupos de investigación == | ||
| + | * [http://www.cl.cam.ac.uk/research/hvg/ Automated Reasoning Group] (University of Cambridge). | ||
* [http://www.csc.liv.ac.uk/research/logics/ Logic and Computation Group] (University of Liverpool). | * [http://www.csc.liv.ac.uk/research/logics/ Logic and Computation Group] (University of Liverpool). | ||
* [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | * [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | ||
Revisión del 09:59 29 oct 2008
Enlaces a grupos de investigación
- Automated Reasoning Group (University of Cambridge).
- Logic and Computation Group (University of Liverpool).
- Mathematical Reasoning Group (University of Edinburgh).
Enlaces a sistemas
- Sistemas de demostración:
- Programación lógica:
- Programación lógica con restricciones:
- Programación basada en conjuntos de respuestas:
- Programación funcional:
- Programación basada en reglas de producción:
