×

zbMATH — the first resource for mathematics

Found 4,880 Documents (Results 1–3)

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8--12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 490-508 (2017).
MSC:  68N25 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Journal
Year of Publication
Classification
Biographic Reference
Software