LIX janvier
-
39
pages
-
Documents
-
2010
Écrit par
David Baelde
Publié par
profil-nechor-2012
-
39
pages
-
Documents
-
2010
Description
Niveau: Supérieur
Parsifal? Typical David Baelde University of Minnesota LIX, 14 janvier 2010
Parsifal? Typical David Baelde University of Minnesota LIX, 14 janvier 2010
- inductive definitions
- parsifal? typical
- logic programming
- generic quantification
- complex proof
- introduction linc
- very little
- sequent calculus
-
Publié par
-
Publié le
01 janvier 2010
Ajouté à mes notifications
Vous serez informé des prochaines publications.