Termination Proofs for Logic Programs - Lutz Plümer

Sponsorisé
6.17 EUR
Prix mis à jour le: 19-06-2026 18:33:55

Général

Marque
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540528377
MPN
Springer Berlin Heidelberg 6891722

Caractéristiques

Menu