Advertisement · 728 × 90
#
Hashtag
#Mace2
Advertisement · 728 × 90
José A. Alonso
José A. Alonso
@jalonso.eurosky.social
11 months ago
Post image

Curso "Razonamiento automático (2011-12)". jaalonso.github.io/cursos/m-ra-11 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

0 0 0 0
José A. Alonso
José A. Alonso
@jalonso.eurosky.social
1 year ago
Post image

Curso "Razonamiento automático (2008-09)". jaalonso.github.io/cursos/d-ra-08 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

2 0 0 0
José A. Alonso
José A. Alonso
@jalonso.eurosky.social
1 year ago

Curso "Razonamiento automático (2007-08)". jaalonso.github.io/cursos/d-ra-07 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

2 0 0 0