Using Sophisticated Models in Resolution Theorem Proving
Livre Ecrit par: Sandford, David M. ; Publié en: 1980
Langue:
Français
Collation:
239
ISBN: 3540102310