https://www.glc.us.es/~jalonso/RA2013/index.php?action=history&feed=atom&title=SistemasSistemas - Historial de revisiones2026-07-17T17:04:20ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.14https://www.glc.us.es/~jalonso/RA2013/index.php?title=Sistemas&diff=22&oldid=prevJalonso: Página creada con '== Temas utilizados en ''Razonamiento automático (2013-14)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk/re...'2013-10-28T08:04:11Z<p>Página creada con '== Temas utilizados en ''Razonamiento automático (2013-14)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk/re...'</p>
<p><b>Página nueva</b></p><div>== Temas utilizados en ''Razonamiento automático (2013-14)'' ==<br />
<br />
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso<br />
# [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL].</div>Jalonso