Вы здесь

Главная

автоматический

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

Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Software Engineering: Proc./13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 2011
Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012
Formal Methods for Industrial Critical Systems: Proc./15th International Workshop, FMICS 2010, Antwerp, Belgium, September 2010
Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012
Formal Verification of LCSs in the Development Process
Format verification of programs for abstract register machines
Foundations of Proof Search Strategies Dessign in Linear logic
Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits
Functional Programming, Concurrency, Simulation and Automated Reasoning: Intern. Lecture Series 1991-1992. McMaster University, Hamilton, Ontario, Canada
Fundamental Approaches to Software Engineering: Proc./8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
General Purpose Proof Plans
Generating Finite Counter Examples with Semantic Tableaux
Genetic Programming: Proc./First European Workshop, EuroGP 98. Paris, France, April 1998
Geographic Information Science: Proc./9th International Conference, GIScience 2016, Montreal,QC,Canada, September 2016
Graph Scaling: A Technique for Automating Program Construction and Deployment in ClusterGOP
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
Handling Algebraic Properties in Automatic Analysis of Security Protocols
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Hardware and Software: Verification and Testing: Proc./9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 2013
Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009
High Performance Computing: Proc./30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 2015
Implementation and Application of Functional Languages: Revised Selected Papers/24th International Symposium, IFL 2012, Oxford, UK, August 2012
Implementing Attribute Grammars by Computational Models
Implementing Memoization for Partial Evaluation
Integrating Tools for Automatic Program Verification
Integration Perceptual Signal Features within a Multi-facetted Conceptual Model for Automatic Image Retrieval
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Intelligent Computer Mathematics: Proc./18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Bertinoro, Italy, July 2011
Intelligent Data Engineering and Automated Learning - IDEAL 2016: Proc./17th International Conference, Yangzhou, China, October 2016
Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: Proc./7th Joint International Workshop, CVII-STENT 2018 and 3rd International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
KI 2009: Advances in Artificial Intelligence: Proc./32nd Annual German Conference on AI, Paderborn, Germany, September 2009
Knowledge Base Refinement: A Bibliography
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution: Bridging thq Semantic Gap
Language Processing and Intelligent Information Systems: Proc./20th International Conference, IIS 2013, Warsaw, Poland, June 2013
Languages and Compilers of Parallel Computing: Revised Selected Papers/24th International Workshop, LCPC 2011, Fort Colins,CO,USA, September 2011
Learning Relations: Basing Top-Down Methods on Inverse Resolution
LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
LISA: A Tool for Automatic Language Implementation
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/16th International Symposium, LOPSTR 2006. Venice, Italy, July 2006
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006
Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993