LTCS-Report
| Autor: | Technische Universität Dresden |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
Logik in der Informatik Wissensrepräsentation Beschreibungslogiken Automatisches Theorembeweisen Automatentheorie und ihre Anwendungen
Logic in Computer Science Knowledge Representation Description Logics Automated Deduction Automata Theory and Applications info:eu-repo/classification/ddc/004 ddc:004 |
| Druh dokumentu: | Collection<br />Periodical |
| Popis: | This series consists of technical reports produced by the members of the Chair for Automata Theory at TU Dresden. The purpose of these reports is to provide detailed information (e.g., formal proofs, worked out examples, experimental results, etc.) for articles published in conference proceedings with page limits. The topics of these reports lie in different areas of the overall research agenda of the chair, which includes Logic in Computer Science, symbolic AI, Knowledge Representation, Description Logics, Automated Deduction, and Automata Theory and its applications in the other fields. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|