Termination Proofs for Logic Programs Autor Lutz Plümer 24 iul 1990 Paperback Preț: 314.81 lei 393.51 lei 43-57 zile -20%