×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 56-75 (2018).
MSC:  68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
all top 3
Classification
Software