Suchergebnisse - Schumann, Johann M.

Parallelization of inference systems by using an abstract machine

von Schumann, Johann M.

Efficient theorem provers based on an abstract machine

von Schumann, Johann M.

Learning heuristics for a theorem prover using back propagation

von Ertel, Wolfgang, Schumann, Johann M., Suttner, Christian B.

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]

von Schumann, Johann M.

Online lesen (frei zugänglich)

Learning heuristics for a theorem prover using back propagation

von Schumann, Johann M., Ertel, Wolfgang, Suttner, Christian B.

Modelling and performance analysis of a parallel theorem prover

von Jobmann, Manfred, Schumann, Johann M.

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

von Schumann, Johann M.

Online lesen (frei zugänglich)

Automated Theorem Proving in Software Engineering

von Schumann, Johann M.

Parallelization of inference systems by using an abstract machine

von Schumann, Johann M.

Applications of Neural Networks in High Assurance Systems

Weitere beteiligte Personen: “… Schumann, Johann M. …”