LIX janvier
-
39
pagini
-
Documente
-
2010
Scris de
David Baelde
Publicat de
profil-nechor-2012
-
39
pagini
-
Documente
-
2010
Descriere
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
-
Publicat de
-
Publié le
01 ianuarie 2010
Adăugat la notificările mele
Vei fi notificat cu privire la următoarele publicații.