RT @adbrucker: Our second @sefm_conf paper: Burkhart is now presenting Isabelle/DOF - a document ontology framework on top of @isaprover. h…
499 followers
27 followers
RT @adbrucker: Our second @sefm_conf paper: Burkhart is now presenting Isabelle/DOF - a document ontology framework on top of @isaprover. h…
226 followers
RT @adbrucker: Our second @sefm_conf paper: Burkhart is now presenting Isabelle/DOF - a document ontology framework on top of @isaprover. h…
411 followers
Our second @sefm_conf paper: Burkhart is now presenting Isabelle/DOF - a document ontology framework on top of @isaprover. https://t.co/pqhnH7TwSN preprint: https://t.co/44HpbRzsZW implementation: https://t.co/f1uIiekxMU