Вы здесь

Главная

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

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

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Advances in Artificial Intelligence, Part I: Proc./9th Mexican International Conference on AI, MICAI 2010, Pachuca, Mexico, November 2010
Affine Model Checking Multi-agent Sliding Window Protocol
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018
Artificial Intelligence and Symbolic Computation: Proc./8th International Conference, AISC 2006. Beijing, China, September 2006
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006
Automated Deduction in Geometry: Revised Selected Papers/8th International Workshop, ADG 2010, Munich, Germany, July 2010
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./22nd International Conference, TABLEAUX 2013, Nancy, France, September 2013
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./28th International Conference, TABLEAUX 2019, London, UK, September 2019
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Automated Sisal program verification with ACL2
Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Automated Technology for Verification and Analysis: Proc./8th International Symposium, ATVA 2010, Singapore, September 2010
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Computational Methods in Systems Biology: Proc./17th International Conference, CMSB 2019, Trieste, Italy, September 2019
Computation, Physics and Beyond: Revised Selected and Invited Papers/ International Workshop, WTCS 2012 Dedicated to C.S.Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 2011
Computer Aided Verification, Part II: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Diagrammatic Representation and Inference: Proc./10th International Conference, Diagrams 2018, Edinburgh, UK, June 2018
Diagrammatic Representation and Inference: Proc./8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 2014
FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009
FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014
Formal Aspects of Component Software: Proc./16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 2019
Formal Grammar: Proc./24th International Conference, FG 2019, Riga, Latvia, August 2019
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Formal Methods and Software Engineering: Proc./20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 2018
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017
Formal Methods: Foundations and Applications: Revised Selected Papers/14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 2011