Diferencia entre revisiones de «Enlaces»
(→Enlaces a grupos de investigación) |
(→Enlaces a grupos de investigación) |
||
| Línea 3: | Línea 3: | ||
*: Head: [http://www.cl.cam.ac.uk/~mjcg/ Mike Gordon] | *: Head: [http://www.cl.cam.ac.uk/~mjcg/ Mike Gordon] | ||
* [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | * [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | ||
| + | *: Head: [http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy]. | ||
* [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München) | * [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München) | ||
*: Head: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow]. | *: Head: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow]. | ||
Revisión del 10:11 29 oct 2008
Enlaces a grupos de investigación
- Automated Reasoning Group (University of Cambridge).
- Head: Mike Gordon
- Mathematical Reasoning Group (University of Edinburgh).
- Head: Alan Bundy.
- Theorem Proving Group (Technische Universität München)
- Head: Tobias Nipkow.
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:
