Switch to: Citations

Add references

You must login to add references.
  1. A Review of Automatic Theorem-Proving. [REVIEW]J. A. Robinson - 1974 - Journal of Symbolic Logic 39 (1):190-190.
    Download  
     
    Export citation  
     
    Bookmark   2 citations