Techreport3053: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Dörthe Arndt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=Stephan Mennike }} {{Techreport |Title=Existential Notation3 Logic |Year=2024 |Month=April |Institution=TPLP |Type=Submission }} {{Publikation Details |Bild=ExistentialN3.pdf |Forschungsgruppe=Computational Logic }}“) |
Dörthe Arndt (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 8: | Zeile 8: | ||
|Year=2024 | |Year=2024 | ||
|Month=April | |Month=April | ||
|Institution= | |Institution=Theory and Practice of Logic Programming | ||
|Type=Submission | |Type=Journal Submission | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
Version vom 13. November 2024, 10:44 Uhr
Existential Notation3 Logic
Dörthe ArndtDörthe Arndt, Stephan MennikeStephan Mennike
Dörthe Arndt, Stephan Mennike
Existential Notation3 Logic
Technical Report, Theory and Practice of Logic Programming, April 2024. Journal Submission
Existential Notation3 Logic
Technical Report, Theory and Practice of Logic Programming, April 2024. Journal Submission
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@techreport{AM2024,
author = {D{\"{o}}rthe Arndt and Stephan Mennike},
title = {Existential Notation3 Logic},
institution = {Theory and Practice of Logic Programming},
year = {2024},
month = {April}
}
