1
História Moderna Através de Textos

História Moderna Através de Textos

Adhemar Martins Marques, Flávio Berutti, Ricardo De Moura Faria
عام:
2001
اللغة:
portuguese
ملف:
PDF, 19.10 MB
0 / 0
portuguese, 2001
2
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs

Mauricio Ayala-Rincón, Flávio L. C. de Moura (auth.)
عام:
2017
اللغة:
english
ملف:
PDF, 1.88 MB
0 / 0
english, 2017
3
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs

Mauricio Ayala-Rincón, Flávio L. C. de Moura
عام:
2017
اللغة:
english
ملف:
PDF, 1.53 MB
0 / 5.0
english, 2017
5
Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

Mauricio Ayala-Rincón, Flávio L.C. de Moura
عام:
2017
اللغة:
english
ملف:
PDF, 1.30 MB
0 / 0
english, 2017
6
Applied logic for computer scientists : computational deduction and formal proofs

Applied logic for computer scientists : computational deduction and formal proofs

Ayala-Rincón, Mauricio, Moura, Flávio L. C. de
عام:
2017
اللغة:
english
ملف:
PDF, 1.17 MB
0 / 0
english, 2017