From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions Lecture Notes in Computer Science, nr. 271 Autor Dominique Snyers et al. 12 aug 1987 Paperback Preț: 324.49 lei 405.62 lei 43-57 zile -20%
