×

zbMATH — the first resource for mathematics

Found 90 Documents (Results 1–90)

100
MathJax
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). Logic in Asia: Studia Logica Library, 15-66 (2020).
MSC:  03B 18D 18C 03D
PDF BibTeX XML Cite
Full Text: DOI
Fukunaga, Takuro (ed.) et al., Combinatorial optimization and graph algorithms. Communications of NII Shonan meetings. Singapore: Springer (ISBN 978-981-10-6146-2/hbk; 978-981-10-6147-9/ebook). 21-41 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Quanyan (ed.) et al., Decision and game theory for security. 7th international conference, GameSec 2016, New York, NY, USA, November 2–4, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47412-0/pbk; 978-3-319-47413-7/ebook). Lecture Notes in Computer Science 9996, 382-394 (2016).
MSC:  91A43 91A28 91D30
PDF BibTeX XML Cite
Full Text: DOI
van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48560-6/pbk; 978-3-662-48561-3/ebook). Lecture Notes in Computer Science 9394, 341-352 (2015).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 346-358 (2012).
MSC:  68Q60 03B45
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, 1-27 (2011).
MSC:  68T27 03B42
PDF BibTeX XML Cite
Full Text: DOI
Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 87-102 (2011).
MSC:  68T15 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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