Вы здесь

Главная

hol

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

Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009