Using sophiscated models in resolution theorem proving /

Using sophiscated models in resolution theorem proving /

41

Bibliographic Details
Main Author: 367238 Sandford, David M.
Format:
Published: Berlin : Springer-Verlag, 1980
Subjects:
Proof theory
Inference

Similar Items