Diferencia entre revisiones de «Documentación»
De Seminario de Lógica Computacional (2018)
(Página creada con '== Documentación == * [https://softwarefoundations.cis.upenn.edu/lf-current/index.html Software foundations (Volume 1: Logical foundations)] * [http://www.seas.upenn.edu/~cis5...') |
|||
Línea 3: | Línea 3: | ||
* [https://softwarefoundations.cis.upenn.edu/lf-current/index.html Software foundations (Volume 1: Logical foundations)] | * [https://softwarefoundations.cis.upenn.edu/lf-current/index.html Software foundations (Volume 1: Logical foundations)] | ||
* [http://www.seas.upenn.edu/~cis500/current/index.html CIS 500: Software foundations (2017)] | * [http://www.seas.upenn.edu/~cis500/current/index.html CIS 500: Software foundations (2017)] | ||
+ | * [https://www.metalevel.at/prolog The Power of Prolog] ~ M. Triska. |