Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Artificial intelligence
containing
program logic
|
all forms
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