Вы здесь

Главная

формальный анализ

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

Conceptual Structures: Knowledge Architectures for Smart Applications: Proc./15th International Conference on Conceptual Structures, ICCS 2007. Sheffield, UK, July 2007
Formal Concept Analysis: Proc./10th International Conference, ICFCA 2012, Leuven, Belgium, May 2012
Formal Concept Analysis: Proc./12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 2014
Formal Concept Analysis: Proc./14th International Conference, ICFCA 2017, Rennes, France, June 2017
Formal Concept Analysis: Proc./15th International Conference, ICFCA 2019, Frankfurt, Germany, June 2019
Formal Concept Analysis: Proc./6th International Conference, ICFCA 2008. Montreal, Canada, February 2008
Formal Modeling and Analysis of Timed Systems: Proc./13th International Conference, FORMATS 2015, Madrid, Spain, September 2015
Graph-Based Representation and Reasoning: Proc./21st International Conference on Conceptual Structures, ICCS 2014, Iasi, Romania, July 2014
Graph-Based Representation and Reasoning: Proc./22nd International Conference on Computational Structures, ICCS 2016, Annecy, France, July 2016
Graph-Based Representation and Reasoning: Proc./23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 2018
Graph-Based Representation and Reasoning: Proc./26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 2021
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/3rd International Workshop, GKR 2013, Beijing, China, August 2013
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/6th International Workshop, GKR 2020, Virtual Event, September 2020
Probabilistic Concepts in Fopmal Contexts
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/21st International Workshop, WART 2012, Salamanca. Spain, June 2013
Rewriting Logic and Its Aplications: Revised Selected Papers/9th International Workshop, WRLA 2012 Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 2012
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Secure IT Systems: Proc./25th Nordic Conference, NordSec 2020, Virtual Event, November 2020
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 2016