Contributi di Mignolo
Utente con 105 modifiche.
6 gen 2012
- 00:5700:57, 6 gen 2012 diff cron −40 m Loppiano →Collegamenti esterni
9 ago 2011
- 19:4719:47, 9 ago 2011 diff cron 0 m Logica temporale lineare →Definizione
26 ago 2009
- 21:5121:51, 26 ago 2009 diff cron +1 m La doppia vita di Veronica →Trama
23 feb 2009
- 13:0113:01, 23 feb 2009 diff cron −1 Parser LR →L'Algoritmo di Parsing
- 13:0013:00, 23 feb 2009 diff cron +38 Parser LR →L'Algoritmo di Parsing
5 feb 2009
- 19:5119:51, 5 feb 2009 diff cron +76 m Parser LR →L'Algoritmo di Parsing
- 19:5019:50, 5 feb 2009 diff cron +11 m Parser LR →L'Algoritmo di Parsing
- 19:4719:47, 5 feb 2009 diff cron +6 m Parser LR →L'Algoritmo di Parsing
- 19:4619:46, 5 feb 2009 diff cron +137 Parser LR →L'Algoritmo di Parsing
11 ago 2008
- 21:3121:31, 11 ago 2008 diff cron +27 m Discussione:Regola di Ruffini →dimostrazione tecnica di ricerca delle soluzioni per equazioni razionali intere
- 21:3121:31, 11 ago 2008 diff cron +480 Discussione:Regola di Ruffini →dimostrazione tecnica di ricerca delle soluzioni per equazioni razionali intere: nuova sezione
21 feb 2008
- 17:5117:51, 21 feb 2008 diff cron −38 m Lambda calcolo Nessun oggetto della modifica
- 17:5117:51, 21 feb 2008 diff cron −38 m Automa a pila Nessun oggetto della modifica
- 17:4917:49, 21 feb 2008 diff cron 0 m Automa a pila Nessun oggetto della modifica
- 17:4917:49, 21 feb 2008 diff cron +40 m Automa a pila Nessun oggetto della modifica
- 17:4817:48, 21 feb 2008 diff cron 0 m Lambda calcolo Nessun oggetto della modifica
- 17:4717:47, 21 feb 2008 diff cron +38 m Lambda calcolo Nessun oggetto della modifica
19 feb 2008
26 lug 2007
- 12:3612:36, 26 lug 2007 diff cron +22 Lambda calcolo Nessun oggetto della modifica
26 apr 2007
- 16:4216:42, 26 apr 2007 diff cron +38 m Antistaminico →Antistaminici H1
27 nov 2006
- 17:4817:48, 27 nov 2006 diff cron +443 Discussioni utente:Piddu Nessun oggetto della modifica
7 apr 2006
- 01:5701:57, 7 apr 2006 diff cron +1 Categoria:Teoria della computazione Nessun oggetto della modifica
20 gen 2006
- 02:1802:18, 20 gen 2006 diff cron +1 499 Lambda calcolo Nessun oggetto della modifica
- 02:1302:13, 20 gen 2006 diff cron +1 m Lambda calcolo →Termini equivalenti
- 02:1202:12, 20 gen 2006 diff cron +6 m Lambda calcolo Nessun oggetto della modifica
- 02:1102:11, 20 gen 2006 diff cron +1 081 Lambda calcolo Nessun oggetto della modifica
- 01:3301:33, 20 gen 2006 diff cron 0 m Lambda calcolo →Sostituzione
- 01:3201:32, 20 gen 2006 diff cron +4 m Lambda calcolo →Sostituzione
- 01:3201:32, 20 gen 2006 diff cron −80 m Lambda calcolo →Variabili
- 01:3001:30, 20 gen 2006 diff cron +46 m Lambda calcolo →Termini
- 01:2901:29, 20 gen 2006 diff cron +13 m Lambda calcolo →Termini
- 01:2801:28, 20 gen 2006 diff cron −89 m Lambda calcolo →Termini
- 01:2601:26, 20 gen 2006 diff cron −1 m Lambda calcolo Nessun oggetto della modifica
- 01:2501:25, 20 gen 2006 diff cron +661 Lambda calcolo Nessun oggetto della modifica
- 00:4800:48, 20 gen 2006 diff cron +178 m Lambda calcolo Nessun oggetto della modifica
- 00:4700:47, 20 gen 2006 diff cron −18 m Lambda calcolo Nessun oggetto della modifica
12 gen 2006
- 02:2502:25, 12 gen 2006 diff cron +39 m Lambda calcolo →Eta Conversione
- 02:2302:23, 12 gen 2006 diff cron +690 m Lambda calcolo →Eta Conversione
- 02:0602:06, 12 gen 2006 diff cron +364 m Lambda calcolo →Beta Riduzione
- 02:0102:01, 12 gen 2006 diff cron −1 m Lambda calcolo →Alfa Conversione
- 02:0002:00, 12 gen 2006 diff cron −1 m Lambda calcolo →Alfa Conversione
- 01:5901:59, 12 gen 2006 diff cron +9 m Lambda calcolo →Alfa Conversione
- 01:5901:59, 12 gen 2006 diff cron +120 m Lambda calcolo →Alfa Conversione
- 01:5601:56, 12 gen 2006 diff cron +172 m Lambda calcolo →Alfa Conversione
- 01:5201:52, 12 gen 2006 diff cron +24 m Lambda calcolo →Sostituzione
- 01:4801:48, 12 gen 2006 diff cron +20 m Lambda calcolo →Sostituzione
- 01:4501:45, 12 gen 2006 diff cron 0 m Lambda calcolo →Sostituzione
- 01:4501:45, 12 gen 2006 diff cron 0 m Lambda calcolo →Variabili
- 01:4101:41, 12 gen 2006 diff cron −2 m Lambda calcolo →Variabili
- 01:4001:40, 12 gen 2006 diff cron +154 Lambda calcolo →Variabili