http://www.cs.ru.nl/~freek/digimath/bylogic.html
This is an overview of systems implementing "mathematics in the computer"
En Rhône-Alpes, la galère ferroviaire permanente
-
Assis sur le sol herbeux, certains fument une cigarette. D’autres se sont
même allongés. Trois enfants jouent avec le petit chien qu’une passagère
tient en...
Il y a 19 heures
Aucun commentaire:
Enregistrer un commentaire