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é
Identifiants
ISBN Springer Berlin Heidelberg 3540528377
MPN Springer Berlin Heidelberg 6891722
Dimensions / poids
Fonctionnalités clés
Springer Berlin Heidelberg