Persons tagged with «first order logic»

Navn Telefon E-post Emneord
Giese, Martin Professor +47-22852737 martingi@ifi.uio.no first order logic, proof search, semantic web, logic, automated reasoning, big data
RSS-strøm fra denne siden