FOLExpr Analyzer Un riconoscitore di teorie della logica del primo ordine per la loro conversione in forma a clausole Linguaggi e Modelli Computazionali.
Religione e Mito Ieri e oggi Di fronte all’enigma ultimo l’uomo ha cercato di immaginare, di definire il mistero in rapporto a sé, di concepire quindi.