Expand menu
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, Sept
Home
Importados de Lógica
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, Sept
Comprar
Sua compra será finalizada na
AMAZON
.
Compartilhe:
Descrição do Produto
Deseja Realmente Sair?
Clique em
"Sair"
para encerrar essa sessão.
Deseja Realmente Sair?
×
Clique em "Sair" para encerrar essa sessão.
Home
Menu
Topo