×

zbMATH — the first resource for mathematics

Found 605 Documents (Results 1–100)

100
MathJax
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 347-366 (2018).
PDF BibTeX XML Cite
Full Text: arXiv
Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 333-354 (2017).
MSC:  03B20
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 81, No. 6, 1155-1167 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 6, 100-113 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Barcelona: Edicions de la Universitat de Barcelona (ISBN 978-84-9168-035-2/ebook). 31 p., open access (2016).
PDF BibTeX XML Cite
Full Text: Link Link
Jamnik, Mateja (ed.) et al., Diagrammatic representation and inference. 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7–10, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42332-6/pbk; 978-3-319-42333-3/ebook). Lecture Notes in Computer Science 9781. Lecture Notes in Artificial Intelligence, 98-104 (2016).
MSC:  68T27 91B02
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 215-231 (2015).
MSC:  03C07 03A05
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 185-201 (2015).
MSC:  03F05 03B53
PDF BibTeX XML Cite
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 125-133 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 170-200 (2015).
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
Biographic Reference
all top 3
Software