Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, Sept

Comprar

Descrição do Produto

Você também pode gostar de:


Loja do Pilates
Home Menu Busca
Topo