Termination Proofs for Logic Programs Autor Lutz Plümer 24 iul 1990 Paperback Preț: 314.81 lei 393.51 lei 6-8 săpt. -20%