Showing 1 - 4 results of 4 for search 'Nevins, Arthur J.', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    A relaxation approach to splitting in an automatic theorem prover

    A relaxation approach to splitting in an automatic theorem prover by Nevins, Arthur J.

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Plane geometry theorem proving using forward chaining

    Plane geometry theorem proving using forward chaining by Nevins, Arthur J.

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A human oriented logic for automatic theorem proving

    A human oriented logic for automatic theorem proving by Nevins, Arthur J.

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A human oriented logic for automatic theorem proving

    A human oriented logic for automatic theorem proving by Nevins, Arthur J.

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: