×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 73-97 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Dowe, David L. (ed.), Algorithmic probability and friends. Bayesian prediction and artificial intelligence. Papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30 – December 2, 2011. Berlin: Springer (ISBN 978-3-642-44957-4/pbk). Lecture Notes in Computer Science 7070. Lecture Notes in Artificial Intelligence, 306-317 (2013).
MSC:  68Q30 03A10
PDF BibTeX XML Cite
Full Text: DOI