×

Found 6 Documents (Results 1–6)

Writing declarative specifications for clauses. (English) Zbl 1483.68378

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 256-271 (2016).
MSC:  68T27 68N17 68R07
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software