Discussione:Logica temporale lineare
Ultimo commento: 6 anni fa, lasciato da InternetArchiveBot in merito all'argomento Collegamenti esterni modificati
Collegamenti esterni modificati
modificaGentili utenti,
ho appena modificato 1 collegamento/i esterno/i sulla pagina Logica temporale lineare. 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/20090830133455/http://spot.lip6.fr/wiki/LtlTranslationAlgorithms per http://spot.lip6.fr/wiki/LtlTranslationAlgorithms
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot
Saluti.—InternetArchiveBot (Segnala un errore) 12:18, 10 mag 2018 (CEST)