×

zbMATH — the first resource for mathematics

Found 1,055 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 179-192 (2020).
PDF BibTeX XML Cite
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 1-15 (2020).
PDF BibTeX XML Cite
Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 123-134 (2020).
MSC:  68T27 03B42
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 211-221 (2020).
MSC:  03B42 03C40
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 58-78 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 104-123 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 53-70 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 12-26 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 229-244 (2019).
PDF BibTeX XML Cite
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 101-115 (2019).
PDF BibTeX XML Cite
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 31-55 (2019).
PDF BibTeX XML Cite
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 1-12 (2019).
PDF BibTeX XML Cite
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 428-445 (2019).
MSC:  68T27 03B42 93C85
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 140-160 (2019).
MSC:  03B70
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
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 297-312 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 273-285 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 183-198 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 168-182 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 98-111 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Petrosyan, Leon A. (ed.) et al., Frontiers of dynamic games. Game theory and management, St. Petersburg, 2018. Selected talks presented at the 12th international conference “Game Theory and Management”, GTM2018, St. Petersburg, Russia, June 27–29, 2018. Cham: Birkhäuser. Static Dyn. Game Theory: Found. Appl., 1-11 (2019).
MSC:  91A26 91A28 91D30
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 137-149 (2019).
MSC:  68T27 03B42 68T42
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 67-82 (2019).
MSC:  68T27 03B42 68Q85
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