Sign in | English | Terms of Use
DictionaryForumContacts
Terms for subject Artificial intelligence containing Logic Program | all forms | in specified order only
EnglishGerman
First-order Logic ProgramFOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)

Get short URL