Termination Proofs for Logic Programs Lecture Notes in Computer Science, nr. 446 Autor Lutz Plümer 24 iul 1990 Paperback Preț: 313.10 lei 391.37 lei 6-8 săpt. -20%