SłownikiForumKontakt

Google | Forvo | +

First-order Logic Program

sztuczn. FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)

Dodaj | Zgłoś błąd | Krótki link