×

zbMATH — the first resource for mathematics

Found 37 Documents (Results 1–37)

100
MathJax
Berlin: Springer Vieweg (ISBN 978-3-662-55651-1/pbk; 978-3-662-55652-8/ebook). xi, 184 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cyran, Krzysztof A. (ed.) et al., Man-machine interactions. Papers based on the presentations at the international conference (ICMMI 2009), Kocierz Pass, Poland, September 25–27, 2009. Berlin: Springer (ISBN 978-3-642-00562-6/pbk; 978-3-642-00563-3/ebook). Advances in Intelligent and Soft Computing 59, 497-504 (2009).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 38-53 (2005).
MSC:  68T15 03B35 03B40
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