Вы здесь

Главная

логика высказываний

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

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems
Introduction to Artificial Intelligence
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009
Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний
Логика высказываний и теория вывода