Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Artificial intelligence
containing
Logic Program
|
all forms
|
in specified order only
English
German
First-order
Logic Program
FOL-Programm
(Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)
Get short URL