×

zbMATH — the first resource for mathematics

Found 478 Documents (Results 1–100)

100
MathJax
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer (ISBN 978-981-13-7790-7/hbk; 978-981-13-7793-8/pbk; 978-981-13-7791-4/ebook). Logic in Asia: Studia Logica Library, 153-185 (2019).
MSC:  03-06
PDF BibTeX XML Cite
Full Text: DOI
Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 231-247 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Ben Amor, Nahla (ed.) et al., Scalable uncertainty management. 13th international conference, SUM 2019, Compiègne, France, December 16–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11940, 207-220 (2019).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Baldoni, Matteo (ed.) et al., PRIMA 2016: princiles and practice of multi-agent systems. 19th international conference, Phuket, Thailand, August 22–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44831-2/pbk; 978-3-319-44832-9/ebook). Lecture Notes in Computer Science 9862. Lecture Notes in Artificial Intelligence, 168-180 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 895-922 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 813-858 (2016).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 627-647 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 269-302 (2016).
MSC:  03B42 91B06
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 247-267 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 219-245 (2016).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 1-11 (2016).
MSC:  03B42 03A05 03-02
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 564-569 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 497-511 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 401-414 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 305-319 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Khoury, Richard (ed.) et al., Advances in artificial intelligence. 29th Canadian conference on artificial intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 – June 3, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-34110-1/pbk; 978-3-319-34111-8/ebook). Lecture Notes in Computer Science 9673. Lecture Notes in Artificial Intelligence, 263-269 (2016).
MSC:  68T27 68T30
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
Biographic Reference
all top 3
Software