Вы здесь

Главная

теория доказательств

Связанные издания:

Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Categories and Types in Logic, Language, and Phisics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017
Foundations of Software Science and Computation Structures: Proc./18th International Conference, FOSSACS 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Foundations of Software Science and Computation Structures: Proc./24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Interactive Theorem Proving: Proc./First International Conference, ITP 2010, Edinburgh, UK, July 2010
Interfaces: Explorations in Logic, Language and Computation: Selected Papers/ESSLLI 2008 and ESSLLI 2009 Student Sessions
Logical Aspects of Computational Linguistics: Proc./8th Interbational Conference, LACL 2014, Toulouse, France, June 2014
Logic and Its Applications: Proc./6th Indian Conference, ICLA 2015, Mumbai, India, January 2015
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012
Logic, Language, Information, and Computation: Proc./24th International Workshop, WoLLIC 2017, London, UK, July 2017
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Rules and Reasoning: Proc./2nd International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 2018
Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./10th European Conference, ECSQARU 2009, Verona, Italy, July 2009
The Mathematics of Language: Revised Selected Papers/10th and 11th Biennial Conference MOL 10, Los Angeles,CA,USA, July 2007 and MOL 11, Bielefeld, Germany, August 2009
Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020