4mrkv
Ominide
Iscritto
il 11/03/25
Totale punti
0
Livello
Ominide
50 punti per
Erectus
Appunti
0
Discussioni
210
Ultime attività
Ha risposto alla domanda:
Perché i computer non dimostrano i teoremi?
31 Luglio 2013
Ha fatto una domanda:
Una uguaglianza insiemistica
30 Luglio 2013
Ha fatto una domanda:
Il carattere a capo viene cancellato
30 Luglio 2013
Ha risposto alla domanda:
Perché i computer non dimostrano i teoremi?
30 Luglio 2013
Ha risposto alla domanda:
Funzionale di Minkowski
30 Luglio 2013
Ha risposto alla domanda:
Perché i computer non dimostrano i teoremi?
30 Luglio 2013