J. Fandinno, S. Mishra, J. Romero, und T. Schaub. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Volume 13160 von Lecture Notes in Computer Science, Seite 133-150. Springer, (2023)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/birthday/FandinnoM0S23
%A Fandinno, Jorge
%A Mishra, Seemran
%A Romero, Javier
%A Schaub, Torsten
%B Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
%D 2023
%E López-García, Pedro
%E Gallagher, John P.
%E Giacobazzi, Roberto
%I Springer
%K dblp
%P 133-150
%T Answer Set Programming Made Easy.
%U http://dblp.uni-trier.de/db/conf/birthday/hermenegildo2023.html#FandinnoM0S23
%V 13160
%@ 978-3-031-31476-6
@inproceedings{conf/birthday/FandinnoM0S23,
added-at = {2023-06-02T00:00:00.000+0200},
author = {Fandinno, Jorge and Mishra, Seemran and Romero, Javier and Schaub, Torsten},
biburl = {https://www.bibsonomy.org/bibtex/2d44be6f02536a401005e8806b225bf61/dblp},
booktitle = {Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems},
crossref = {conf/birthday/2023hermenegildo},
editor = {López-García, Pedro and Gallagher, John P. and Giacobazzi, Roberto},
ee = {https://doi.org/10.1007/978-3-031-31476-6_7},
interhash = {abb476f8d48301eabefe88f119699b4f},
intrahash = {d44be6f02536a401005e8806b225bf61},
isbn = {978-3-031-31476-6},
keywords = {dblp},
pages = {133-150},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T14:05:55.000+0200},
title = {Answer Set Programming Made Easy.},
url = {http://dblp.uni-trier.de/db/conf/birthday/hermenegildo2023.html#FandinnoM0S23},
volume = 13160,
year = 2023
}