The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 373.93 lei
6-8 săpt.
Cărți de Alexander Leitsch
Methods of Cut-Elimination
Autor Matthias Baaz et al.
17 ian 2011
Hardback
Preț: 623.65 lei 733.71 lei
6-8 săpt.
-15%
Automated Model Building
Autor Ricardo Caferra et al.
13 sep 2004
Hardback
Preț: 920.19 lei 1122.19 lei
6-8 săpt.
-18%
Computational Logic and Proof Theory
Editat de Georg Gottlob et al.
13 aug 1997
Paperback
Preț: 380.05 lei
6-8 săpt.