Switch to: References

Add citations

You must login to add citations.
  1. An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning.Frank Malloy Brown - 1980 - Artificial Intelligence 14 (3):221-242.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An experimental logic based on the fundamental deduction principle.Frank M. Brown - 1986 - Artificial Intelligence 30 (2):117-263.
    Download  
     
    Export citation  
     
    Bookmark   2 citations