Biblioteca da Universidade do Minho

Your cart is empty.
Plümer,, Lutz Termination proofs for logic programs / Lutz Plümer

Termination proofs for logic programs / Lutz Plümer . - Berlin : Springer-Verlag, cop. 1990 . - VIII, 142 p. : il. 24 cm . - (Lecture notes in artificial intelligence; 446)
3-540-52837-7 (Brochado)

681.3