A Proof Theory For Description Logics 1753

A Proof Theory For Description Logics | Alexandre Rademaker | Englisch

A Proof Theory for Description Logics, Fachbücher von Alexandre Rademaker

Arnon Avron On Semantics And Proof Theory Of Non-classical Logics 6312

Theory Of Graded Consequence A General Framework For Logics Of

Roman Kuznets (u. A.) | Logics Of Proofs And Justifications |

Description Logics In Multimedia Reasoning 5312

Formal Methods For Nonmonotonic And Related Logics Vol Ii: Theory

Leslie F. Sikos | Description Logics In Multimedia Reasoning | Buch |

A Model-theoretic Approach To Proof Theory 6180

Applied Proof Theory: Proof Interpretations And Their Use In

Reinhard Kahle (u. A.) | Advances In Proof Theory | Buch | Englisch

Logics Of Proofs And Justifications By Kuznets, Roman

Henryk Kotlarski | A Model¿theoretic Approach To Proof Theory | Buch |

A Proof Theory For General Unification | W. Snyder | Taschenbuch |

Anna Zamansky (u. A.) | Arnon Avron On Semantics And Proof Theory