search result

Cover von Formalizing Splitting in Isabelle/HOL

Formalizing Splitting in Isabelle/HOL

Year: 2025
Media group: LIPIcs
Cover von Signature-Based Abduction for Expressive Description Logics
article in KR2020
Search for this author
Year: 2020
Publisher: IJCAI
Media group: ARTICLE
Cover von A Modular Formalization of Superposition in Isabelle/HOL

A Modular Formalization of Superposition in Isabelle/HOL

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0