Higher Order Logic Theorem Proving and Its ApplicationsE. Thomas Schubert
Higher Order Logic Theorem Proving and Its Applications
3,6
média de 21 mil notas
- leram
- 21 mil
- lendo agora
- 837
- querem ler
- 25 mil
Só você vê
Sua leitura
Sem spoiler: cada um vê até onde leu
Discussões
Reviews populares
Ninguém escreveu sobre este livro ainda
Registre sua leitura e seja a primeira review.