Termination Proofs for Logic Programs. Lecture Notes in Artificial Intelligence
Lutz Plümer
Paperback
Not Available
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
