Proof Theory and Automated Deduction
Autor Jean Goubault-Larrecq et al.
30 noi 2001
Paperback
Preț: 381.46 lei
6-8 săpt.
Cărți de Jean Goubault-Larrecq
Foundations of Software Science and Computation Structures
Editat de Jean Goubault-Larrecq et al.
18 apr 2020
Paperback
Preț: 362.55 lei
6-8 săpt.