Isabelle

Acerca de

El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow de la Universidad Técnica de Múnich.

Fuente: Wikipedia

Top tracks

1. 1

   Jusqu'à la tombée du jour

   Ne me parlez plus de l'amour

2. 2

   Une odeur de neige

   Psyché France, Vol. 4 (1960 - 70)

3. 3

   Mary Had a Little Lamb

   儿歌多多英文儿歌

4. 4

   Meunier tu dors

   Le jardin des chansons - Volume 1

5. 5

   小小少年

   小小少年

6. 6

   Amstramgram

   Wizzz French Psychorama (1966-1970), Vol. 2

Artistas similares

Henri Salvador

Pierre Vassiliu

Annie Philippe

Jeanne Moreau

Françoise Hardy

Jacqueline Taïeb

Claude Nougaro

Juliette Gréco