Writing Declarative Specifications for Clauses

From MaRDI portal
Publication:2835876

DOI10.1007/978-3-319-48758-8_17zbMath1483.68378OpenAlexW2546121331MaRDI QIDQ2835876

Torsten Schaub, Martin Gebser, Roland Kaminski, Tomi Janhunen, Shahab Tasharrofi

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_17




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Writing Declarative Specifications for Clauses