×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–20)

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, 214-232 (2018).
MSC:  68Q25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Springer Texts in Statistics 103. New York, NY: Springer (ISBN 978-1-4614-7137-0/hbk; 978-1-4614-7138-7/ebook). xiv, 426 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Guillet, F. (ed.) et al., Advances in knowledge discovery and management. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conference 2009 (EGC), Strasbourg, France, January 2009. Berlin: Springer (ISBN 978-3-642-00579-4/hbk). Studies in Computational Intelligence 292, 39-55 (2010).
MSC:  68T05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Camacho, Rui (ed.) et al., Inductive logic programming. 14th international conference, ILP 2004, Porto, Portugal, September 6–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22941-8/pbk). Lecture Notes in Computer Science 3194. Lecture Notes in Artificial Intelligence, 323-340 (2004).
MSC:  68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software