#demostracioninteractiva — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #demostracioninteractiva, aggregated by home.social.
-
Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2011-12)". https://jaalonso.github.io/cursos/m-ra-11 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2008-09)". https://jaalonso.github.io/cursos/d-ra-08 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2007-08)". https://jaalonso.github.io/cursos/d-ra-07 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL