Personer med emneord «first order logic»
Navn | Telefon | E-post | Emneord |
---|---|---|---|
Giese, Martin Professor | +47 22852737 | martingi@ifi.uio.no | logic, big data, semantic web, automated reasoning, proof search, first order logic |
Navn | Telefon | E-post | Emneord |
---|---|---|---|
Giese, Martin Professor | +47 22852737 | martingi@ifi.uio.no | logic, big data, semantic web, automated reasoning, proof search, first order logic |