Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Ainda sem avaliações
2011 · Inglês · Brochura
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Avaliações

Nenhuma avaliação ainda

Seja o primeiro a avaliar este livro e compartilhe seus pensamentos

Faça login para Avaliar
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura