Termination Proofs for Logic Programs - Lutz Plümer

6.17 EUR

Marque: Springer Berlin Heidelberg

ISBN: 3540528377

MPN: 6891722

Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

Sponsorisé Termination Proofs for Logic Programs - Lutz Plümer

6.17 EUR 6.17 EUR

04-05-2026 13:23:19