Switch to: Citations

References in:

Knowledge Bases and Neural Network Synthesis

In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722 (1991)

Add references

You must login to add references.
  1. The Computer Modelling of Mathematical Reasoning.Alan Bundy - 1987 - Journal of Symbolic Logic 52 (2):555-557.
    Download  
     
    Export citation  
     
    Bookmark   27 citations