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
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