Вы здесь

Главная

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

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

Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019
Format verification of programs for abstract register machines
Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 2018
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday
Frontiers of Combining Systems: Proc./10th International Symposium, FroCoS 2015, Wroclaw, Poland. September 2015
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Fudamental Approaches to Software Engineering: Proc./22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Fundamental Approaches to Software Engineering: Proc./19th International Conference, FASE 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/5th International Workshop, GKR 2017, Melbourne, Australia, August 2017
Graph Transformation: Proc./10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009
Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016
Integrated Formal Methods: Proc./14th International Conference, IFM 2018, Maynooth, Ireland, September 2018
Integrated Formal Methods: Proc./15th International Conference, IFM 2019, Bergen, Norway, December 2019
Intelligent Computer Mathematics: Proc./10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 2010
Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Intelligent Computer Mathematics: Proc./13th International Conference, CICM 2020, Bertinoro, Italy, July 2020
Intelligent Computer Mathematics: Proc./9th Intl Conf AISC 2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008. Birmingham, UK, July/August 2008
Intelligent Computer Mathematics: Proc./International Conference, CICM 2014, Coimbra, Portugal, July 2014
Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Interactive Theorem Proving: Proc./9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
KI 2017: Advances in Artificial Intelligence: Proc./40th Annual, German Conference on AI, Dortmund, Germany, September 2017
KI 2019: Advances in Artificial Intelligence: Proc./42nd International Conference on AI, Kassel, Germany, September 2019
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019
Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013
Mathematical Aspects of Computer and Information Science: Proc./7th International Conference, MACIS 2017, Vienna, Austria, November 2017
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Mathematics of Program Construction: Proc./11th International Conference, MPC 2012, Madrid, Spain, June 2012
Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model Checking and Arttificial Intelligence: Revised Selected and Invited Papers/6th International Workshop, MoChArt 2010, Atlanta,GA,USA, July 2010
Model Checking Software: Proc./20th International Symposium, SPIN 2013, Stony Brook,NY,USA, July 2013
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019