lambdaProlog (QS): Functional Spatial Reasoning in Higher Order Logic Programming

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelLeibniz International Proceedings in Informatics
RedaktørerSabine Timpf, Christoph Schlieder, Markus Kattenbech, Bernd Ludwig, Kathleen Stewart
Antal sider8
Vol/bind142
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Udgivelsesår2019
Artikelnummer26
ISBN (trykt)978-3-95977-115-3
DOI
StatusUdgivet - 2019
Begivenhed14th International Conference on Spatial Information Theory - University of Regensburg , Regensburg, Tyskland
Varighed: 9 sep. 201913 sep. 2019
https://cosit2019.ur.de/

Konference

Konference14th International Conference on Spatial Information Theory
LokationUniversity of Regensburg
LandTyskland
ByRegensburg
Periode09/09/201913/09/2019
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

ID: 167405369