http://www.cs.ru.nl/~freek/digimath/bylogic.html
This is an overview of systems implementing "mathematics in the computer"
6393
-
*Soluble dans l’alcool, la conscience de soi ne se laisse en revanche pas
réduire en purée avec la pomme de terre, limitant dans ce cas le risque
d’addic...
Il y a 3 heures
Aucun commentaire:
Enregistrer un commentaire