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
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Editat de Rajeev Goré et al.
6 iun 2001
Paperback
Preț: 640.96 lei 801.20 lei
6-8 săpt.
-20%
The Resolution Calculus
Autor Alexander Leitsch
28 sep 2011
Paperback
Preț: 374.54 lei
6-8 săpt.