Plümer, Lutz

Termination proofs for logic programs. - Springer Verlag, 1990. - ( Lecture Notes in Artificial Intelligence ; 446).


  1. Cote: 11780. En rayon: classement par collection.