Вы здесь

Главная

computer aided deduction

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

Model Checking and Arttificial Intelligence: Revised Selected and Invited Papers/6th International Workshop, MoChArt 2010, Atlanta,GA,USA, July 2010