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 6-8 săpt. -20%
