Discussione:Aritmetica di Presburger

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Questa voce contiene una traduzione, completa o parziale, della voce originale:
«Presburger arithmetic» tratta da Wikipedia in inglese.
La versione tradotta è del 20:04, 2 novembre 2018. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.
Estratto da "https://it.wikipedia.org/w/index.php?title=Discussione:Aritmetica_di_Presburger&oldid=102069661"