Using Sophisticated Models in Resolution Theorem Proving by David M. Sandford (E
67,03 €
Using Sophisticated Models in Resolution Theorem Proving. by David M. Sandford. Author David M. Sandford. Illustrations XI, 242 p. Short Title USING SOPHISTICATED MODELS IN. 1 Introduction. - 2 Hereditary lock resolution.
Jetzt bei Ebay:
