Showing 1 - 10 results of 10 for search 'Schumann, Johann M.', query time: 0.04s 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
    Parallelization of inference systems by using an abstract machine

    Parallelization of inference systems by using an abstract machine by Schumann, Johann M.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Efficient theorem provers based on an abstract machine

    Efficient theorem provers based on an abstract machine by Schumann, Johann M.

    Published 1991
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Ad iusta solvenda Ser. Princ. Christiano, Duci Sax. ... ad prox. d. 27. Sept. ... invitat Jo. Mich. Schumann [praefatus de quibusdam principibus, qui sacerdotes magni fuerunt]

    Ad iusta solvenda Ser. Princ. Christiano, Duci Sax. ... ad prox. d. 27. Sept. ... invitat Jo. Mich. Schumann [praefatus de quibusdam principibus, qui sacerdotes magni fuerunt] by Schumann, Johann M.

    Published 1736
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Automated Theorem Proving in Software Engineering

    Automated Theorem Proving in Software Engineering by Schumann, Johann M.

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Learning heuristics for a theorem prover using back propagation

    Learning heuristics for a theorem prover using back propagation by Schumann, Johann M., Ertel, Wolfgang, Suttner, Christian B.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Modelling and performance analysis of a parallel theorem prover

    Modelling and performance analysis of a parallel theorem prover by Jobmann, Manfred, Schumann, Johann M.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Parallelization of inference systems by using an abstract machine

    Parallelization of inference systems by using an abstract machine by Schumann, Johann M.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Learning heuristics for a theorem prover using back propagation

    Learning heuristics for a theorem prover using back propagation by Ertel, Wolfgang, Schumann, Johann M., Suttner, Christian B.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Seinen, in Christo treu-geliebten Pfarrkindern eröffnet die, auff instehendes Kirchen-Jahr vorgenommene Lehr-Art Johann Michael Schumann

    Seinen, in Christo treu-geliebten Pfarrkindern eröffnet die, auff instehendes Kirchen-Jahr vorgenommene Lehr-Art Johann Michael Schumann by Schumann, Johann M.

    Published 1720
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Applications of Neural Networks in High Assurance Systems

    Applications of Neural Networks in High Assurance Systems

    Published 2010
    Other Authors: “…Schumann, Johann M.…”
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: