Discussione:Dimostrazione automatica di teoremi
Collegamenti esterni modificati
[modifica wikitesto]Gentili utenti,
ho appena modificato 1 collegamento/i esterno/i sulla pagina Dimostrazione automatica di teoremi. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
- Aggiunta del link all'archivio https://web.archive.org/web/20070610094545/http://www.ac-nancy-metz.fr/enseign/philo/textesph/Frege.pdf per http://www.ac-nancy-metz.fr/enseign/philo/textesph/Frege.pdf
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot
Saluti.—InternetArchiveBot (Segnala un errore) 07:05, 20 set 2017 (CEST)