Personer med emneord «automated reasoning»

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