<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-08-31 11:05:18New York Milton Hebald Delacorte Theater New York Shakespeare Festival Dell Publishing Joseph Papp Ballyhoo Great Lawn and Turtle Pond Gabriel Pascal Central Park Publishing George T. Delacorte Jr. |
| Using small scale automation to improve both accessibility and readability of formal proofs in geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, PaDocID: 1t28w - View Document |
| A short note about case distinctions in Tarski’s geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun. A short note abDocID: 1sQeG - View Document |
| Book and Lyrics by: Alan Jay Lerner | Music by: Frederick Loewe dapted from George Bernard Shaw’s play and Gabriel Pascal’s Motion picture “Pygmalion“ ADocID: 4lrF - View Document |
| PDF DocumentDocID: BE3 - View Document |
| UntitledDocID: rj5 - View Document |