Persons tagged with «first order logic»

Name Phone E-mail Tags
Giese, Martin Professor +47 22852737 martingi@ifi.uio.no first order logic, proof search, semantic web, logic, automated reasoning, big data
Feed from this page