ProofTools 0.5 Beta
ProofTools είναι ένα διανέμεται ελεύθερα και multiplatform πρόγραμμα λογισμικού που έχει σχεδιαστεί από το offset που πρέπει να χρησιμοποιούνται για την αυτόματη και γραφική γενιά σημασιολογική tableaux, επίσης γνωστή ως σημασιολογικές δέντρα, αναλυτική...