Diferencia entre revisiones de «Enlaces»
(→Enlaces a grupos de investigación) |
|||
| Línea 2: | Línea 2: | ||
* [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). | ||
| + | |||
| + | == Enlaces a sistemas == | ||
== Enlaces a publicaciones == | == Enlaces a publicaciones == | ||
Revisión del 12:57 25 oct 2008
Enlaces a grupos de investigación
- Logic and Computation Group (University of Liverpool).
- Mathematical Reasoning Group (University of Edinburgh).
