Computational Logic and Proof Theory
Editat de Georg Gottlob et al.
13 aug 1997
Paperback
Preț: 378.91 lei
6-8 săpt.
Cărți de Alexander Leitsch
The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 373.93 lei
6-8 săpt.