×

zbMATH — the first resource for mathematics

Found 191 Documents (Results 1–100)

100
MathJax
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 397-407 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 57, No. 5, 738-749 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 5, 76-88 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 6, 16 p. (2016).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 193-203 (2016).
MSC:  03B60
PDF BibTeX XML Cite
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 375-425 (2015).
MSC:  03G30 03B53 18B25
PDF BibTeX XML Cite
Full Text: DOI
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, 263-295 (2015).
PDF BibTeX XML Cite
Full Text: DOI
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, 181-200 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 211-225 (2015).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 93-117 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Governatori, Guido (ed.) et al., Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14182-9/pbk). Lecture Notes in Computer Science 6181. Lecture Notes in Artificial Intelligence, 214-228 (2010).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Fauser, Bertfried (ed.) et al., Quantum field theory. Competitive models. Papers based on the presentations at the workshop on “Recent developments in quantum field theory”, Leipzig, Germany, July 20–22, 2007. Basel: Birkhäuser (ISBN 978-3-7643-8735-8/hbk). 25-47 (2009).
PDF BibTeX XML Cite
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 3-13 (2008).
MSC:  81P10 68N15 81P15
PDF BibTeX XML Cite
Full Text: DOI
Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 137-151 (2008).
MSC:  03B70 03B15 03F35 03G30 68T15
PDF BibTeX XML Cite
Full Text: Link
Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 113-137 (2007).
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