Termination Proofs for Logic Programs - Lutz Plümer

Sponsorisé
6.17 EUR
Prix mis à jour le: 02-05-2026 23:12:13

Général

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

Caractéristiques

Menu