Termination Proofs for Logic Programs - Lutz Plümer
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
Prix mis à jour le: 23-04-2026 21:53:28 Produit utilisé
6.17 EUR
Prix mis à jour le: 23-04-2026 21:53:28 Produit utilisé | Identifiants | |
|---|---|
| ISBN | Springer Berlin Heidelberg 3540528377 |
| MPN | Springer Berlin Heidelberg 6891722 |
| Dimensions / poids | |
| Fonctionnalités clés | |
Springer Berlin Heidelberg









