Automated Reasoning with Analytic Tableaux and Related Methods
Editat de Anupam Das et al.
sep 2021
Paperback
Preț: 331.80 lei 414.75 lei
6-8 săpt.
-20%
Cărți de Sara Negri
Advances in Modal Logic, Volume 13
Editat de Sara Negri et al.
19 iul 2020
Paperback
Preț: 182.60 lei
6-8 săpt.
Mathesis Universalis, Computability and Proof
Editat de Stefania Centrone et al.
6 noi 2020
Paperback
Preț: 706.78 lei 861.93 lei
6-8 săpt.
-18%
Proof Analysis
Autor Sara Negri et al.
29 sep 2011
Hardback
Preț: 690.21 lei 802.57 lei
6-8 săpt.
-14%
Structural Proof Theory
Autor Sara Negri et al.
9 iul 2008
Paperback
Preț: 407.83 lei
6-8 săpt.