×

zbMATH — the first resource for mathematics

Found 56 Documents (Results 1–56)

100
MathJax
Berlin: Springer Vieweg (ISBN 978-3-662-58975-5/pbk; 978-3-662-58976-2/ebook). xi, 280 p. (2019).
MSC:  68-01 68P15
PDF BibTeX XML Cite
Full Text: DOI
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, 469-480 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
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, 408-418 (2019).
MSC:  68T37
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. 511-529 (2018).
MSC:  03B42 03B20
PDF BibTeX XML Cite
London: College Publications (ISBN 978-1-84890-255-8/pbk). xii, 628 p. (2018).
MSC:  03-06 03B45 00B25
PDF BibTeX XML Cite
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 681-686 (2017).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Logic, language, and computation. 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011, Kutaisi, Georgia, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-36975-9/pbk). Lecture Notes in Computer Science 7758, 166-181 (2013).
MSC:  03B42 03B25
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.) et al., Proceedings of the 8th workshop on fixed points in computer science, Tallinn, Estonia, March 24, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 77, 47-54 (2012).
MSC:  03F05 03B45
PDF BibTeX XML Cite
Full Text: Link
Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 349-361 (2012).
MSC:  68T27 03B42 68T30
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 437-458 (2012).
MSC:  03B42
PDF BibTeX XML Cite
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 35-51 (2011).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 83-98 (2010).
MSC:  03B42 03F03 68T27
PDF BibTeX XML Cite
Full Text: DOI
Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15–19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 380-387 (2010).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 227-240 (2009).
MSC:  03B42 03F05
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 409-421 (2009).
MSC:  68U35 68Q25 94A62
PDF BibTeX XML Cite
Full Text: DOI
Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 400-408 (2007).
MSC:  68U35 68P15
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 498-511 (2007).
MSC:  03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 356-370 (2000).
MSC:  03F50
PDF BibTeX XML Cite

Filter Results by …

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