Вы здесь

Главная

гибридная логика

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

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Logics in Artificial Intelligence: Proc./12th European Conference, JELIA 2010, Helsinki, Finland, September 2010
Scalable Uncertainty Management: Proc./6th International Conference, SUM 2012, Marburg, Germany, September 2012
Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013