Switch to: Citations

Add references

You must login to add references.
  1. Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Inductive reasoning on recursive equations.Frank Malloy Brown & Sten-Åke Tärnlund - 1979 - Artificial Intelligence 12 (3):207-229.
    Download  
     
    Export citation  
     
    Bookmark   2 citations