×

zbMATH — the first resource for mathematics

Found 185 Documents (Results 1–100)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 133-147 (2019).
PDF BibTeX XML Cite
Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11949, 277-288 (2019).
MSC:  68P27 91D30
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 271-288 (2018).
MSC:  03B80 03B42 91D30
PDF BibTeX XML Cite
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 291-302 (2016).
MSC:  68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 52, No. 6, 849-856 (2016); translation from Kibern. Sist. Anal. 2016, No. 6, 21-29 (2016).
MSC:  93A15 92B20 68T05
PDF BibTeX XML Cite
Full Text: DOI
Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 29-60 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part I. Cham: Springer (ISBN 978-3-319-18160-8/pbk; 978-3-319-18161-5/ebook). Advances in Intelligent Systems and Computing 359, 37-45 (2015).
MSC:  90C35
PDF BibTeX XML Cite
Full Text: DOI
Pinto, Raquel (ed.) et al., Coding theory and applications. 4th international Castle Meeting, ICMCTA, Palmela Castle, Portugal, September 15–18, 2014. Cham: Springer (ISBN 978-3-319-17295-8/hbk; 978-3-319-17296-5/ebook). CIM Series in Mathematical Sciences 3, 35-42 (2015).
MSC:  90B18 94A15 90B10
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 165-179 (2014).
MSC:  92C42 92-04 03B42
PDF BibTeX XML Cite
Full Text: DOI
van der Gaag, Linda C. (ed.) et al., Probabilistic graphical models. 7th European workshop, PGM 2014, Utrecht, The Netherlands, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8754, 286-301 (2014).
MSC:  62H22 62M45
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 50, No. 1, 124-133 (2014); translation from Kibern. Sist. Anal. 2014, No. 1, 138-150 (2014).
MSC:  93-04 93C42 62-09 68T37
PDF BibTeX XML Cite
Full Text: DOI
van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 477-482 (2013).
MSC:  91D30 03B42
PDF BibTeX XML Cite
van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 473-476 (2013).
MSC:  91D30 03B42
PDF BibTeX XML Cite
van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 470-472 (2013).
MSC:  91D30 03B42
PDF BibTeX XML Cite
van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 445-469 (2013).
MSC:  91D30 03B42
PDF BibTeX XML Cite
Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 65-84 (2013).
MSC:  93A30 94A62 91A05 91D30 93B10 93B40
PDF BibTeX XML Cite
Full Text: DOI
Fermé, Eduardo L. (ed.) et al., Trends in belief revision and argumentation dynamics. Based on the workshop on belief revision and argumentation, Funchal, Madeira, January 2012. London: College Publications (ISBN 978-1-84890-065-3/pbk). Studies in Logic (London) 48. Logic and Cognitive Systems, 103-122 (2013).
MSC:  68T27 03B42 91D30
PDF BibTeX XML Cite
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 275-288 (2011).
MSC:  68T27 03B42 91D30
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 390-391 (2011).
MSC:  91B10 03B42 91D30
PDF BibTeX XML Cite
Full Text: DOI
Banerjee, Mohua (ed.) et al., Logic and its applications. 4th Indian conference, ICLA 2011, Delhi, India, January 5–11, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18025-5/pbk). Lecture Notes in Computer Science 6521. Lecture Notes in Artificial Intelligence, 178-188 (2010).
MSC:  03B42 91D30
PDF BibTeX XML Cite
Full Text: DOI
Bouchon-Meunier, B. (ed.) et al., Foundations of reasoning under uncertainty. Papers based on the presentations at the 2008 conference on information processing and management of uncertainty (IPMU), Málaga, Spain, June 22–27, 2008. Berlin: Springer (ISBN 978-3-642-10726-9/hbk; 978-3-642-10728-3/ebook). Studies in Fuzziness and Soft Computing 249, 247-264 (2010).
MSC:  60J99 68T37
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 7. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-59829-692-1/pbk; 978-1-598-29693-8/ebook). ix, 145 p. (2009).
MSC:  68T27 68T05 68-02
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 277-289 (2007).
PDF BibTeX XML Cite
Full Text: DOI
St. Perersburg: Nauka (ISBN 5-02-025107-0/hbk). 607 p. (2006).
MSC:  90B15 60-02 90-02
PDF BibTeX XML Cite
Tsumoto, Shusaku (ed.) et al., Rough sets and current trends in computing. 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1–5, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22177-8/pbk). Lecture Notes in Computer Science 3066. Lecture Notes in Artificial Intelligence, 483-487 (2004).
MSC:  68T05 68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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